Verwandte Artikel zu History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory - Softcover

Sommaruga, Giovanni

 
9789401593946: History and Philosophy of Constructive Type Theory
Softcover
ISBN 10: 9401593949 ISBN 13: 9789401593946
Verlag: Springer, 2013

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Preface. 1. The Present Version of Constructive Type Theory (1995). 2. Metatheoretical Considerations. 3. History of Constructive Type Theory (1970-95). 4. Philosophical and Technical Prehistory of Constructive Type Theory (1880-1970). Conclusion. References.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
9401593949
ISBN 13 
9789401593946
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9780792361800: History and Philosophy of Constructive Type Theory: 290 (Synthese Library)

Vorgestellte Ausgabe

ISBN 10:  0792361806 ISBN 13:  9780792361800
Verlag: Springer, 2000
Hardcover