409:-
Uppskattad leveranstid 11-21 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9780937073773
- Språk: Engelska
- Antal sidor: 215
- Utgivningsdatum: 1992-05-01
- Förlag: The Center for the Study of Language and Information Publications