An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science and Applied Mathematics) - Hardcover

Andrews, Peter B.

 
9780120585359: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science and Applied Mathematics)
Hardcover
ISBN 10: 0120585359 ISBN 13: 9780120585359
Verlag: Academic Press Inc, 1986
Verlag
Academic Press Inc
Erscheinungsdatum
1986
Sprache
Englisch
ISBN 10 
0120585359
ISBN 13 
9780120585359
Einband
Gebundene Ausgabe
Anzahl der Seiten
304
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781402007637: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27, Band 27)

Vorgestellte Ausgabe

ISBN 10:  1402007639 ISBN 13:  9781402007637
Verlag: Springer, 2002
Hardcover