2010, ISBN: 9789048154036
gebonden uitgave
[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… Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten: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… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten 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… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2010, ISBN: 9048154030
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2000, ISBN: 9048154030
gebonden uitgave
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… Meer...
Hugendubel.de Nr. 13445135. Verzendingskosten:, , DE. (EUR 0.00) Details... |
2010, ISBN: 9789048154036
gebonden uitgave
[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… Meer...
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… Meer...
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… Meer...
2010, ISBN: 9048154030
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… Meer...
2000, ISBN: 9048154030
gebonden uitgave
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… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - History and Philosophy of Constructive Type Theory
EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands
380 Bladzijden
Gewicht: 0,573 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2010-09-14T03:13:55+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-10-27T17:08:42+02:00 (Amsterdam)
ISBN/EAN: 9789048154036
ISBN - alternatieve schrijfwijzen:
90-481-5403-0, 978-90-481-5403-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: giovanni sommaruga
Titel van het boek: constructiv, history constructive type theory, die type, philosophy history, 290, history and theory
Gegevens van de uitgever
Auteur: Giovanni Sommaruga
Titel: Synthese Library; History and Philosophy of Constructive Type Theory
Uitgeverij: Springer; Springer Netherland
367 Bladzijden
Verschijningsjaar: 2010-12-07
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
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.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...