2000, ISBN: 0792361806
[EAN: 9780792361800], Neubuch, [SC: 12.99], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PRESENT; PREHISTORY, Druck auf Anfrage Neuware - A comp… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 12.99 Details... |
2000, ISBN: 0792361806
[EAN: 9780792361800], Neubuch, [SC: 0.0], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PREHISTORY; PRESENT, Druck auf Anfrage Neuware - A compre… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - gebunden oder broschiert
2000, ISBN: 9780792361800
Springer, Hardcover, Auflage: 2000, 377 Seiten, Publiziert: 2000-07-31T00:00:01Z, Produktgruppe: Book, 1.55 kg, Books Global Store, Special Features, Books, Historiography, Historical Stu… Mehr…
amazon.co.uk BOOKS etc Gebraucht, wie neu. Versandkosten:Usually dispatched within 13 to 14 days. Les coûts d'expédition peuvent différer des coûts réels. (EUR 5.62) Details... |
2000, ISBN: 0792361806
[EAN: 9780792361800], Nouveau livre, [SC: 10.34], [PU: Springer], Print on Demand pp. 388 54:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Blue Cloth w/Jacket on White w/Gloss Lam, Books
AbeBooks.fr Majestic Books, Hounslow, United Kingdom [51749587] [Note: 4 (sur 5)] NEW BOOK. Versandkosten: EUR 10.34 Details... |
2000, ISBN: 9780792361800
Hard cover, New., Sewn binding. Cloth over boards. With dust jacket. 367 p. Synthese Library, 290., Dordrecht, [PU: Springer]
alibris.co.uk |
2000, ISBN: 0792361806
[EAN: 9780792361800], Neubuch, [SC: 12.99], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PRESENT; PREHISTORY, Druck auf Anfrage Neuware - A comp… Mehr…
2000, ISBN: 0792361806
[EAN: 9780792361800], Neubuch, [SC: 0.0], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PREHISTORY; PRESENT, Druck auf Anfrage Neuware - A compre… Mehr…
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - gebunden oder broschiert
2000
ISBN: 9780792361800
Springer, Hardcover, Auflage: 2000, 377 Seiten, Publiziert: 2000-07-31T00:00:01Z, Produktgruppe: Book, 1.55 kg, Books Global Store, Special Features, Books, Historiography, Historical Stu… Mehr…
2000, ISBN: 0792361806
[EAN: 9780792361800], Nouveau livre, [SC: 10.34], [PU: Springer], Print on Demand pp. 388 54:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Blue Cloth w/Jacket on White w/Gloss Lam, Books
2000, ISBN: 9780792361800
Hard cover, New., Sewn binding. Cloth over boards. With dust jacket. 367 p. Synthese Library, 290., Dordrecht, [PU: Springer]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer
388 Seiten
Gewicht: 0,742 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-01-25T13:58:33+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-06-15T23:58:58+02:00 (Berlin)
ISBN/EAN: 9780792361800
ISBN - alternative Schreibweisen:
0-7923-6180-6, 978-0-7923-6180-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sommaruga giovanni, martin löf
Titel des Buches: synthese, philosophy history, history and theory, constructive type theory, just type
Daten vom Verlag:
Autor/in: Giovanni Sommaruga
Titel: Synthese Library; History and Philosophy of Constructive Type Theory
Verlag: Springer; Springer Netherland
367 Seiten
Erscheinungsjahr: 2000-07-31
Dordrecht; NL
Sprache: Englisch
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
X, 367 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present; Logic; Moral Philosophy and Applied Ethics; Phenomenology; History; Ethik und Moralphilosophie; Phänomenologie und Existenzphilosophie; Geschichte; Geschichtsschreibung, Historiographie; BC
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)
< zum Archiv...