make the most of Lovereading
Search our site
Are You Sleeping by Kathleen Barber Read the opening extract of the brand new Kathleen Barber book before its publication on 27/12/2017

Lectures on Linear Logic by A. S. Troelstra
  

Synopsis

Lectures on Linear Logic by A. S. Troelstra

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

About the Author

Loading other formats...

Book Info

Publication date

30th May 1992

Author

A. S. Troelstra

More books by A. S. Troelstra
Author 'Like for Like'
    recommendations

Publisher

Cambridge University Press

Format

Paperback
215 pages

Categories

Mathematical logic

ISBN

9780937073773

My horizons have been broadened by some of the books I have been lucky to review and I expect it to be no different in the future.

Daran Bellingham

Books of the month/debuts of the month, kids/adults, fiction/non-fiction, free prize draws and free extracts, what's not to love?

Emma Smith

Lovereading takes the guesswork out of finding your next read with "if you like you'll love" and extracts to help with your decision.

Sarah Bruch

Lovereading is an amazing place to be, the website is wonderful and to me if I'm sad I'll go here and it cheers me up!

Sophia Upton

Lovereading does a stella job in promoting both new and established authors.

Iris Clements

Lovereading - a community of people passionate about reading and sharing their views. An incomparable website for book lovers.

Helen Clark

It's the first site that I visit when deciding on the next set of books to buy. A particular treat is being able to download an extract.

Tessa Olson

Lovereading tells me about new books before they hit the shelves, lets me find other authors I may like and has great prize draws!

Sheila Dale

Lovereading4kids

Lovereading4schools