2010, ISBN: 9789048154036
Edition reliée
[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… Plus…
booklooker.de buecher.de GmbH & Co. KG Frais d'envoiVersandkostenfrei, 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… Plus…
Indigo.ca new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise 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… Plus…
Indigo.ca new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2010, ISBN: 9048154030
Edition reliée
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2000, ISBN: 9048154030
Edition reliée
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… Plus…
Hugendubel.de Nr. 13445135. Frais d'envoi, , DE. (EUR 0.00) Details... |
2010, ISBN: 9789048154036
Edition reliée
[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… Plus…
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… Plus…
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… Plus…
2010, ISBN: 9048154030
Edition reliée
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… Plus…
2000, ISBN: 9048154030
Edition reliée
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… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - History and Philosophy of Constructive Type Theory
EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer Netherlands
380 Pages
Poids: 0,573 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2010-09-14T03:13:55+02:00 (Zurich)
Page de détail modifiée en dernier sur 2021-10-27T17:08:42+02:00 (Zurich)
ISBN/EAN: 9789048154036
ISBN - Autres types d'écriture:
90-481-5403-0, 978-90-481-5403-6
Autres types d'écriture et termes associés:
Auteur du livre: giovanni sommaruga
Titre du livre: constructiv, history constructive type theory, die type, philosophy history, 290, history and theory
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: 2010-12-07
Dordrecht; NL
Imprimé / Fabriqué en
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)
< pour archiver...