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… Plus…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoi 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… Plus…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - edition reliée, livre de poche
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… Plus…
amazon.co.uk BOOKS etc Gebraucht, wie neu. Frais d'envoiUsually 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. Frais d'envoi 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… Plus…
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - edition reliée, livre de poche2000, ISBN: 0792361806
[EAN: 9780792361800], Neubuch, [SC: 0.0], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PREHISTORY; PRESENT, Druck auf Anfrage Neuware - A compre… Plus…
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - edition reliée, livre de poche
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… Plus…
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]
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Version reliée
Livre de poche
Date de parution: 2000
Editeur: Springer
388 Pages
Poids: 0,742 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-01-25T13:58:33+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-06-15T23:58:58+02:00 (Paris)
ISBN/EAN: 9780792361800
ISBN - Autres types d'écriture:
0-7923-6180-6, 978-0-7923-6180-0
Autres types d'écriture et termes associés:
Auteur du livre: sommaruga giovanni, martin löf
Titre du livre: synthese, philosophy history, history and theory, constructive type theory, just type
Données de l'éditeur
Auteur: Giovanni Sommaruga
Titre: Synthese Library; History and Philosophy of Constructive Type Theory
Editeur: Springer; Springer Netherland
367 Pages
Date de parution: 2000-07-31
Dordrecht; NL
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)
< pour archiver...