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
- 0 resultaten
laagste prijs: € 134,99, hoogste prijs: € 242,60, gemiddelde prijs: € 189,47
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
(*)
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

 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
(*)
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 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, offene Rechnung (Vorkasse vorbehalten)

 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
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - gebruikt boek

1995, ISBN: 9048154030

ID: 10914223

A comprehensive survey of Martin-Lf's constructive type theory, considerable parts of which have only been presented by Martin-Lf 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-Lf 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. ethics,ethics and morality,history,humanities,logic,logic and language,math,mathematics,movements,phenomenology Mathematics, Springer

 Thriftbooks.com
used. 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
(*)
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - gebruikt boek

1995, ISBN: 9789048154036

ID: 10987123

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

 Betterworldbooks.com
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
(*)
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

 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.

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 10.02.2019 15:22:24
ISBN/EAN: 9789048154036

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


< naar Archief...
Verwante boeken