History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek
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… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 12.99 Details... |
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek
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… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - gebonden uitgave, pocketboek
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… Meer...
amazon.co.uk BOOKS etc Gebraucht, wie neu. Verzendingskosten: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... |
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek
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. Verzendingskosten: EUR 10.34 Details... |
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek
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 |
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek
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… Meer...
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek2000, ISBN: 0792361806
[EAN: 9780792361800], Neubuch, [SC: 0.0], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PREHISTORY; PRESENT, Druck auf Anfrage Neuware - A compre… Meer...
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - gebonden uitgave, pocketboek
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… Meer...
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek
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
History and Philosophy of Constructive Type Theory - gebonden uitgave, pocketboek
2000, ISBN: 9780792361800
Hard cover, New., Sewn binding. Cloth over boards. With dust jacket. 367 p. Synthese Library, 290., Dordrecht, [PU: Springer]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Gebonden uitgave
pocket book
Verschijningsjaar: 2000
Uitgever: Springer
388 Bladzijden
Gewicht: 0,742 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-01-25T13:58:33+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-06-15T23:58:58+02:00 (Amsterdam)
ISBN/EAN: 0792361806
ISBN - alternatieve schrijfwijzen:
0-7923-6180-6, 978-0-7923-6180-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: sommaruga giovanni, martin löf
Titel van het boek: synthese, philosophy history, history and theory, constructive type theory, just type
Gegevens van de uitgever
Auteur: Giovanni Sommaruga
Titel: Synthese Library; History and Philosophy of Constructive Type Theory
Uitgeverij: Springer; Springer Netherland
367 Bladzijden
Verschijningsjaar: 2000-07-31
Dordrecht; NL
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)
< naar Archief...