- 0 resultaten
laagste prijs: € 134,99, hoogste prijs: € 212,64, gemiddelde prijs: € 180,12
1
bestellen
bij booklooker.de
€ 134,99
verzending: € 0,00
bestellen
Sommaruga, Giovanni:

History and Philosophy of Constructive Type Theory - pocketboek

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...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
History and Philosophy of Constructive Type Theory
bestellen
bij Indigo.ca
C$ 312,50
(ongeveer € 212,64)
bestellen
History and Philosophy of Constructive Type Theory - nieuw boek

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...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
3
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
bestellen
bij Achtung-Buecher.de
€ 189,07
verzending: € 0,00
bestellen
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - pocketboek

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...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
bestellen
bij Achtung-Buecher.de
€ 181,89
verzending: € 0,00
bestellen
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - pocketboek

2010, ISBN: 9048154030

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Logik, Ethik und Moralphilosophie, foundation; history of literatu… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
bestellen
bij Hugendubel.de
€ 181,99
verzending: € 0,00
bestellen
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - pocketboek

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...

Nr. 13445135. Verzendingskosten:, , DE. (EUR 0.00)

Bijzonderheden over het boek
History and Philosophy of Constructive Type Theory

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 talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.

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-08-31T13:18:09+02:00 (Amsterdam)
ISBN/EAN: 9789048154036

ISBN - alternatieve schrijfwijzen:
90-481-5403-0, 978-90-481-5403-6


Gegevens van de uitgever

Auteur: Giovanni Sommaruga
Titel: Synthese Library; History and Philosophy of Constructive Type Theory - Studies in Epistemology, Logic, Methodology, and Philosophy of Science
Uitgeverij: Springer; Springer Netherland
367 Bladzijden
Verschijningsjaar: 2010-12-07
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,581 kg
Taal: Engels
181,89 € (DE)
186,99 € (AT)
200,50 CHF (CH)
POD

BC; Previously published in hardcover; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present; C; Logic; Ethics; Phenomenology; History, general; Logic; Moral Philosophy and Applied Ethics; Phenomenology; History; Religion and Philosophy; Ethik und Moralphilosophie; Phänomenologie und Existenzphilosophie; Geschichte; Geschichtsschreibung, Historiographie; BB

Preface. 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...