Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) - Hardcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
Book by Girard JeanYves Lafont Yves Taylor Paul
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book is derived from 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. It sheds light on traditional logic material and its prospective application to computer science.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCambridge University Press
- Erscheinungsdatum1989
- ISBN 10 0521371813
- ISBN 13 9780521371810
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten192
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben