History and Philosophy of Constructive Type Theory (Synthese Library)
9 Angebote vergleichen
Bester Preis: € 206,62 (vom 04.06.2016)History and Philosophy of Constructive Type Theory (2010)
ISBN: 9789048154036 bzw. 9048154030, in Holländisch, Springer, Taschenbuch, neu.
bol.com.
A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof 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-Lof at Leiden University in Fall 1993. This presentation gives a fuller and updated ac... A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof 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-Lof 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. Productinformatie:Taal: Engels;Afmetingen: 19x234x156 mm;Gewicht: 581,00 gram;ISBN10: 9048154030;ISBN13: 9789048154036; Engels | Paperback | 2010.
History and Philosophy of Constructive Type Theory (Synthese Library) (2000)
ISBN: 9780792361800 bzw. 0792361806, in Englisch, 367 Seiten, 2000. Ausgabe, Springer, gebundenes Buch, neu.
Von Händler/Antiquariat, TOTAL BOOKS.
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. Hardcover, Ausgabe: 2000, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2000-07-31, Studio: Springer, Verkaufsrang: 11080430.
History and Philosophy of Constructive Type Theory (Synthese Library) (2009)
ISBN: 9789048154036 bzw. 9048154030, in Englisch, 380 Seiten, Springer Netherlands, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof 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-Lof 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. Paperback, Ausgabe: Softcover reprint of hardcover 1st ed. 2000, Label: Springer Netherlands, Springer Netherlands, Produktgruppe: Book, Publiziert: 2009-12-28, Freigegeben: 2009-12-28, Studio: Springer Netherlands, Verkaufsrang: 7818011.
History and Philosophy of Constructive Type Theory (Synthese Library) (2009)
ISBN: 9789048154036 bzw. 9048154030, in Englisch, 380 Seiten, Springer Netherlands, Taschenbuch, neu.
Von Händler/Antiquariat, UKPaperbackshop.
A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof 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-Lof 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. Paperback, Ausgabe: Softcover reprint of hardcover 1st ed. 2000, Label: Springer Netherlands, Springer Netherlands, Produktgruppe: Book, Publiziert: 2009-12-28, Freigegeben: 2009-12-28, Studio: Springer Netherlands, Verkaufsrang: 7818011.
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) (2009)
ISBN: 9789401593939 bzw. 9401593930, Band: 290, in Englisch, 367 Seiten, Springer, neu, E-Book, elektronischer Download.
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. Kindle Edition, Editie: Softcover reprint of hardcover 1st ed. 2000, Indeling: Kindle eBook, Label: Springer, Springer, Productgroep: eBooks, Gepubliceerd: 2009-12-28, Releasedatum: 2000-02-01, Studio: Springer.
History and Philosophy of Constructive Type Theory (2014)
ISBN: 9780792361800 bzw. 0792361806, in Englisch, SPRINGER VERLAG GMBH 01/03/2014, gebundenes Buch, neu.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
History and Philosophy of Constructive Type Theory (Synthese Library)
ISBN: 9780792361800 bzw. 0792361806, in Englisch, Springer, gebundenes Buch, gebraucht.
0792361806 USED BOOK in good condition| No supplements| Normal wear to cover, edges, spine, corners, and pages | Writing / highlighting | Inventory stickers | Satisfaction guaranteed!
History and Philosophy of Constructive Type Theory (Synthese Library)
ISBN: 9780792361800 bzw. 0792361806, in Englisch, Springer, gebundenes Buch, gebraucht.
0792361806 Dust wrapper a bit tatty but boards, internally very good.