. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 208,60 €, größter Preis: 270,45 €, Mittelwert: 241,16 €
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - gebrauchtes Buch

1995, ISBN: 9780792361800

ID: 9780792361800

A comprehensive survey of Martin-Lwf's constructive type theory, consi derable parts of which have only been presented by Martin-Lwf in lectu re form or as part of conference talks. Sommaruga surveys the prehisto ry of type theory and its highly complex development through eight dif ferent stages from 1970 to 1995. He also provides a systematic present ation of the latest version of the theory, as offered by Martin-Lwf at Leiden University in Fall 1993. This presentation gives a fuller and A comprehensive survey of Martin-Lwf's constructive type theory, consi derable parts of which have only been presented by Martin-Lwf in lectu re form or as part of conference talks. Sommaruga surveys the prehisto ry of type theory and its highly complex development through eight dif ferent stages from 1970 to 1995. He also provides a systematic present ation of the latest version of the theory, as offered by Martin-Lwf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no ac count of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an en tire part of the book. Textbooks New, Books~~Philosophy~~Logic, History-and-Philosophy-of-Constructive-Type-Theory~~Giovanni-Sommaruga, 999999999, History and Philosophy of Constructive Type Theory, Giovanni Sommaruga, 0792361806, Springer Netherlands, , , , , Springer Netherlands

gebrauchtes bzw. antiquarisches Buch Barnesandnoble.com
MPN: , SKU 9780792361800 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History And Philosophy Of Constructive Type Theory - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Giovanni Sommaruga:

History And Philosophy Of Constructive Type Theory - neues Buch

ISBN: 9780792361800

ID: 978079236180

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

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History and Philosophy of Constructive Type Theory (Synthese Library) - Sommaruga, Giovanni
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory (Synthese Library) - gebunden oder broschiert

ISBN: 0792361806

ID: 19214187169

[EAN: 9780792361800], Neubuch, [PU: Springer], Mathematics|History & Philosophy, Mathematics|Logic, Philosophy|Logic, 0792361806 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!

Neues Buch Abebooks.de
Movie Mars, Indian Trail, NC, U.S.A. [54444390] [Rating: 4 (von 5)]
NEW BOOK Versandkosten: EUR 8.53
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - Taschenbuch

7, ISBN: 9780792361800

ID: 13329569823

Softcover, PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from US in 4 to 14 days (standard) 3 to 8 days (expedited). Established seller since 2000., [PU: Kluwer Academic Publishers]

Neues Buch Alibris.com
Paperbackshop International
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - gebunden oder broschiert

2000, ISBN: 9780792361800

ID: 3040767

Hardcover, Buch, [PU: Kluwer Academic Publishers]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
History and Philosophy of Constructive Type Theory
Autor:

Sommaruga, Giovanni

Titel:

History and Philosophy of Constructive Type Theory

ISBN-Nummer:

0792361806

A comprehensive survey of Martin-LAf's constructive type theory, considerable parts of which have only been presented by Martin-LAf 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-LAf 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.

Detailangaben zum Buch - History and Philosophy of Constructive Type Theory


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer-Verlag GmbH
388 Seiten
Gewicht: 0,742 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 25.01.2007 13:58:33
Buch zuletzt gefunden am 02.06.2016 00:33:35
ISBN/EAN: 0792361806

ISBN - alternative Schreibweisen:
0-7923-6180-6, 978-0-7923-6180-0

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher