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… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione: 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… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - copertina rigida, flessible
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… Altro …
amazon.co.uk BOOKS etc Gebraucht, wie neu. Costi di spedizione: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. Costi di spedizione: 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… Altro …
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… Altro …
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - copertina rigida, flessible
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… Altro …
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]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2000
Editore: Springer
388 Pagine
Peso: 0,742 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-01-25T13:58:33+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-06-15T23:58:58+02:00 (Zurich)
ISBN/EAN: 9780792361800
ISBN - Stili di scrittura alternativi:
0-7923-6180-6, 978-0-7923-6180-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : sommaruga giovanni, martin löf
Titolo del libro: synthese, philosophy history, history and theory, constructive type theory, just type
Dati dell'editore
Autore: Giovanni Sommaruga
Titolo: Synthese Library; History and Philosophy of Constructive Type Theory
Editore: Springer; Springer Netherland
367 Pagine
Anno di pubblicazione: 2000-07-31
Dordrecht; NL
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)
< Per archiviare...