. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
Annonce payée
FILTRE
- 0 Résultats
prix le plus bas: 208,60 €, prix le plus élevé: 270,45 €, prix moyen: 241,16 €
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Livre non disponible
(*)
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - livre d'occasion

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

livre d'occasion Barnesandnoble.com
MPN: , SKU 9780792361800 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
History And Philosophy Of Constructive Type Theory - Giovanni Sommaruga
Livre non disponible
(*)

Giovanni Sommaruga:

History And Philosophy Of Constructive Type Theory - nouveau livre

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

Nouveaux livres Indigo.ca
new Free shipping on orders above $25 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
History and Philosophy of Constructive Type Theory (Synthese Library) - Sommaruga, Giovanni
Livre non disponible
(*)
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory (Synthese Library) - edition reliée, livre de poche

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!

Nouveaux livres Abebooks.de
Movie Mars, Indian Trail, NC, U.S.A. [54444390] [Rating: 4 (von 5)]
NEW BOOK Frais d'envoi EUR 8.53
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Livre non disponible
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - Livres de poche

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]

Nouveaux livres Alibris.com
Paperbackshop International
Frais d'envoiLivraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Livre non disponible
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - edition reliée, livre de poche

2000, ISBN: 9780792361800

ID: 3040767

Hardcover, Buch, [PU: Kluwer Academic Publishers]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
History and Philosophy of Constructive Type Theory
Auteur:

Sommaruga, Giovanni

Titre:

History and Philosophy of Constructive Type Theory

ISBN:

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.

Informations détaillées sur le livre - History and Philosophy of Constructive Type Theory


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Version reliée
Livre de poche
Date de parution: 2000
Editeur: Springer-Verlag GmbH
388 Pages
Poids: 0,742 kg
Langue: eng/Englisch

Livre dans la base de données depuis 25.01.2007 13:58:33
Livre trouvé récemment le 02.06.2016 00:33:35
ISBN/EAN: 0792361806

ISBN - Autres types d'écriture:
0-7923-6180-6, 978-0-7923-6180-0

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres