Nederlands
Nederland
Aanmelden
De tip van euro-boek.nl
Soortgelijke boeken
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Zoekfuncties
boekentips
actueel
Advertentie
Betaalde advertentie
FILTER
- 0 resultaten
laagste prijs: 153,99 €, hoogste prijs: 247,65 €, gemiddelde prijs: 213,94 €
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
uitverkocht boek
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - nieuw boek

ISBN: 9789048154036

ID: 978904815403

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. Giovanni Sommaruga, Books, Religion and Spirituality, History and Philosophy of Constructive Type Theory Books>Religion and Spirituality, Springer-Verlag/Sci-Tech/Trade

Nieuw boek Indigo.ca
new Free shipping on orders above $25. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
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 - Sommaruga, Giovanni
uitverkocht boek
(*)
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 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. Softcover reprint of hardcover 1st ed. 2000. 2010. x, 367 S. X, 367 p. 240 mm Versandfertig in 3-5 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, offene Rechnung (Vorkasse vorbehalten)

Nieuw boek Booklooker.de
buecher.de GmbH & Co. KG
Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (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 - Giovanni Sommaruga
uitverkocht boek
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - nieuw boek

ISBN: 9789048154036

ID: 978904815403

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. Giovanni Sommaruga, Books, Religion and Spirituality, History and Philosophy of Constructive Type Theory Books>Religion and Spirituality, Springer Netherlands

Nieuw boek Indigo.ca
new Free shipping on orders above $25 Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten
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 als Buch von Giovanni Sommaruga - Giovanni Sommaruga
uitverkocht boek
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory als Buch von Giovanni Sommaruga - gebonden uitgave, pocketboek

ISBN: 9789048154036

ID: 869183563

Lieferung innerhalb 1-4 Werktagen. Versandkostenfrei, wenn Buch oder Hörbuch enthalten ist, sonst 2,95 EUR. Ab 19,90 EUR versandkostenfrei. (Deutschland) Bücher > Wissenschaft > Philosophie, Springer Netherlands

Nieuw boek Hugendubel.de
No. 13445135. Verzendingskosten:Zzgl. Versandkosten. (EUR 7.50)
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 - GIOVANNI SOMMARUGA
uitverkocht boek
(*)
GIOVANNI SOMMARUGA:
History and Philosophy of Constructive Type Theory - pocketboek

2010, ISBN: 9048154030

ID: 18734987914

[EAN: 9789048154036], Neubuch, [PU: Springer], 9789048154036 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher

Nieuw boek Abebooks.de
Herb Tandree Philosophy Books, Stroud, GLOS, United Kingdom [17426] [Rating: 4 (von 5)]
NEW BOOK Verzendingskosten: EUR 9.32
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.

Bijzonderheden over het boek
History and Philosophy of Constructive Type Theory (Synthese Library)

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 (Synthese Library)


EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
380 Bladzijden
Gewicht: 0,573 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 14.09.2010 03:13:55
Boek voor het laatst gevonden op 09.06.2018 20:57:24
ISBN/EAN: 9789048154036

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


< naar Archief...
Verwante boeken