Giovanni Sommaruga: History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
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. Sommaru… Meer...
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. eBooks > Fremdsprachige eBooks > Englische eBooks > Sach- & Fachthemen > Philosophie; eBooks > Fachbücher > Geschichtswissenschaft; eBooks > Fachbücher > Philosophie; eBooks > Fremdsprachige eBooks > Englische eBooks > Sach- & Fachthemen > Geschichte , Springer Netherlands, PDF, Springer Netherlands<
Orellfuessli.ch
Nr. A1038013856. Verzendingskosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 18.19) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Giovanni Sommaruga: History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
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. Somma… Meer...
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. Books > Philosophy eBook, Springer Shop<
Springer.com
new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
>100: History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
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. Sommaru… Meer...
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. PHILOSOPHY,Logic, eBooks.com<
ebooks.com
new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Giovanni Sommaruga: History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
History and Philosophy of Constructive Type Theory: ab 170.99 € eBooks > Fachthemen & Wissenschaft > Philosophie Springer Netherlands, Springer Netherlands
eBook.de
Verzendingskosten:in stock, , , DE. (EUR 0.00) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
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. Sommaru… Meer...
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. eBooks > Fremdsprachige eBooks > Englische eBooks > Sach- & Fachthemen > Philosophie; eBooks > Fachbücher > Geschichtswissenschaft; eBooks > Fachbücher > Philosophie; eBooks > Fremdsprachige eBooks > Englische eBooks > Sach- & Fachthemen > Geschichte , Springer Netherlands, PDF, Springer Netherlands<
Nr. A1038013856. Verzendingskosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 18.19)
History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
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. Somma… Meer...
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. Books > Philosophy eBook, Springer Shop<
new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00)
>100: History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
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. Sommaru… Meer...
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. PHILOSOPHY,Logic, eBooks.com<
new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
Giovanni Sommaruga: History and Philosophy of Constructive Type Theory - nieuw boek
ISBN: 9789401593939
History and Philosophy of Constructive Type Theory: ab 170.99 € eBooks > Fachthemen & Wissenschaft > Philosophie Springer Netherlands, Springer Netherlands
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.
Bibliografische gegevens van het best passende boek
Boek bevindt zich in het datenbestand sinds 2015-11-25T11:16:29+01:00 (Amsterdam) Detailpagina laatst gewijzigd op 2022-08-19T19:27:18+02:00 (Amsterdam) ISBN/EAN: 9789401593939
ISBN - alternatieve schrijfwijzen: 978-94-015-9393-9 alternatieve schrijfwijzen en verwante zoekwoorden: Auteur van het boek: sommaruga, giovanni Titel van het boek: philosophy history, history constructive type theory
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: 2013-03-09 Dordrecht; NL Taal: Engels 149,79 € (DE) 154,00 € (AT) 177,00 CHF (CH) Available X, 367 p.
EA; E107; eBook; Nonbooks, PBS / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present; B; Logic; Moral Philosophy and Applied Ethics; Phenomenology; History; Religion and Philosophy; 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: