Get Free Shipping on orders over $89
Lectures on Linear Logic : Lecture Notes - A. S. Troelstra

Lectures on Linear Logic

By: A. S. Troelstra

Paperback | 15 June 1992 | Edition Number 1

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

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.

More in Mathematics

The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
The Art of Gathering : How We Meet and Why It Matters - Priya Parker
How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
Humble Pi : A Comedy of Maths Errors - Matt Parker

RRP $26.99

$22.99

15%
OFF
The Selfish Gene : 40th Anniversary Edition - Richard Dawkins

RRP $32.95

$26.99

18%
OFF
Kumon Grades 6-8 Algebra : Algebra - Kumon

RRP $24.99

$18.99

24%
OFF
Oxford Maths for Australian Schools Year 3 Value Pack : 3rd Edition - Annie Facchinetti
Absorber Types in Vapour Absorption Refrigeration Systems - A. Mani
Bioinformatics of the Brain - Kayhan Erciyes

RRP $94.99

$85.75

10%
OFF
Chaotic Dynamics of Fractional Discrete Time Systems - Guo-Cheng  Wu
Computational Studies : From Molecules to Materials - Ambrish Kumar  Srivastava
Intelligent Systems of Computing and Informatics - Anand J.  Kulkarni
The Physics and Mathematics of Electroencephalogram - Dezhong  Yao
Quantum Optics for Engineers : Quantum Entanglement - F.J.  Duarte

RRP $103.00

$91.75

11%
OFF