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… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs: 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… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
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… More...
amazon.co.uk BOOKS etc Gebraucht, wie neu. Shipping costs: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. Shipping costs: 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… More...
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… More...
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… More...
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]
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Hardcover
Paperback
Publishing year: 2000
Publisher: Springer
388 Pages
Weight: 0,742 kg
Language: eng/Englisch
Book in our database since 2007-01-25T07:58:33-05:00 (New York)
Detail page last modified on 2023-06-15T17:58:58-04:00 (New York)
ISBN/EAN: 9780792361800
ISBN - alternate spelling:
0-7923-6180-6, 978-0-7923-6180-0
Alternate spelling and related search-keywords:
Book author: sommaruga giovanni, martin löf
Book title: synthese, philosophy history, history and theory, constructive type theory, just type
Information from Publisher
Author: Giovanni Sommaruga
Title: Synthese Library; History and Philosophy of Constructive Type Theory
Publisher: Springer; Springer Netherland
367 Pages
Publishing year: 2000-07-31
Dordrecht; NL
Weight: 1,550 kg
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 367 p.
BB; Logic; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present; Ethics; Phenomenology; History, general; Logic; Moral Philosophy and Applied Ethics; Phenomenology; History; Ethik und Moralphilosophie; Phänomenologie und Existenzphilosophie; Geschichte; Geschichtsschreibung, Historiographie; BC; EA
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.More/other books that might be very similar to this book
Latest similar book:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)
< to archive...