 |
|
|
Item Details
| Title:
|
LECTURES ON LINEAR LOGIC
|
| By: |
A. S. Troelstra |
| Format: |
Hardback |
| List price:
|
£45.00 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
0937073784 |
| ISBN 13: |
9780937073780 |
| Publisher: |
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Pub. date: |
30 June, 1992 |
| Series: |
Center for the Study of Language & Information - Lecture Notes 29 |
| Pages: |
215 |
| Description: |
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. |
| Synopsis: |
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. |
| Illustrations: |
illustrations |
| Publication: |
US |
| Imprint: |
Centre for the Study of Language & Information |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|