Hardback (30 Jun 1992)
Not available for sale
Out of stock
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.
| ISBN: | 9780937073780 |
| Publisher: | Center for the Study of Language and Inf |
| Imprint: | CSLI Publications |
| Pub date: | 30 Jun 1992 |
| DEWEY: | 511.3 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 200 |
| Weight: | 524g |
| Height: | 228mm |
| Width: | 152mm |
| Spine width: | 20mm |
$1.83off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.83
$1.34off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.34
How to Expect the Unexpected
Paperback
Published 15 Aug 2024
First-Order Logic
Paperback
Published 01 Feb 2000
$56.30off
Classical and Nonclassical Logics
Hardback
Published 20 Sep 2005
Save $56.30
Handbook of Mathematical Fuzzy ...
Paperback
Published 21 Dec 2011
$3.91off
To Mock a Mockingbird and Other...
Paperback
Published 09 Nov 2000
Save $3.91
$10.06off
Maths Frameworking. Pupil Book ...
Paperback
Published 11 Jun 2014
Save $10.06
Alcuin's Recreational Mathematics
Hardback
Published 28 Nov 2024
