Scan barcode
192 pages • first pub 1989 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This text is an outgrowth of notes prepared by J.-Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between propos...
Community Reviews
Content Warnings
192 pages • first pub 1989 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This text is an outgrowth of notes prepared by J.-Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between propos...
Community Reviews
Content Warnings