2010, ISBN: 9789048154036
Hardcover
[ED: Softcover], [PU: Springer Netherlands], A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture… More...
booklooker.de buecher.de GmbH & Co. KG Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9789048154036
A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… More...
Indigo.ca new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
ISBN: 9789048154036
A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… More...
Indigo.ca new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
2010, ISBN: 9048154030
Hardcover
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2000, ISBN: 9048154030
Hardcover
History and Philosophy of Constructive Type Theory ab 181.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2000. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > B… More...
Hugendubel.de Nr. 13445135. Shipping costs:, , DE. (EUR 0.00) Details... |
2010, ISBN: 9789048154036
Hardcover
[ED: Softcover], [PU: Springer Netherlands], A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture… More...
ISBN: 9789048154036
A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… More...
ISBN: 9789048154036
A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… More...
2010, ISBN: 9048154030
Hardcover
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… More...
2000, ISBN: 9048154030
Hardcover
History and Philosophy of Constructive Type Theory ab 181.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2000. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > B… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - History and Philosophy of Constructive Type Theory
EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer Netherlands
380 Pages
Weight: 0,573 kg
Language: eng/Englisch
Book in our database since 2010-09-13T21:13:55-04:00 (New York)
Detail page last modified on 2021-10-27T11:08:42-04:00 (New York)
ISBN/EAN: 9789048154036
ISBN - alternate spelling:
90-481-5403-0, 978-90-481-5403-6
Alternate spelling and related search-keywords:
Book author: giovanni sommaruga
Book title: constructiv, history constructive type theory, die type, philosophy history, 290, history and theory
Information from Publisher
Author: Giovanni Sommaruga
Title: Synthese Library; History and Philosophy of Constructive Type Theory
Publisher: Springer; Springer Netherland
367 Pages
Publishing year: 2010-12-07
Dordrecht; NL
Printed / Made in
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 367 p.
BC; 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; BB; EA
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...