You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
192 pages • first pub 1989 (view editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub 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 (view editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub 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