. .
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é
FILTRE
- 0 Résultats
prix le plus bas: 151,95 €, prix le plus élevé: 347,68 €, prix moyen: 251,59 €
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
Livre non disponible
(*)
Sommaruga, Giovanni:

History and Philosophy of Constructive Type Theory - edition reliée, livre de poche

ISBN: 9780792361800

[ED: Hardcover], [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. emReadership:/em 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. x, 367 S. X, 367 p. 234 mm Versandfertig in 3-5 Tagen, [SC: 0.00], Neuware, gewerbliches Angebot

Nouveaux livres Booklooker.de
buecher.de GmbH & Co. KG
Frais d'envoiVersandkostenfrei (EUR 0.00)
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

ISBN: 0792361806

Hardcover, [EAN: 9780792361800], Springer, Springer, Book, [PU: Springer], Springer, 952174, Pure Mathematics, 952206, Fractals, 952204, Predicate & Propositional Calculus, 952134, Mathematics, 952050, Professional Science, 950756, Professional & Technical, 927726, Subjects, 916520, Books, 956484, Logic, 956454, Pure Mathematics, 956414, Mathematics, 956280, Science & Math, 927726, Subjects, 916520, Books, 930084, Ethics & Morality, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930098, Logic & Language, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930128, Phenomenology, 930118, Movements, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books

Nouveaux livres Amazon.ca
more_for_u
, Neuware Frais d'envoiUsually ships within 1 - 2 business days, 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 - edition reliée, livre de poche

ISBN: 0792361806

Hardcover, [EAN: 9780792361800], Springer, Springer, Book, [PU: Springer], Springer, 952174, Pure Mathematics, 952206, Fractals, 952204, Predicate & Propositional Calculus, 952134, Mathematics, 952050, Professional Science, 950756, Professional & Technical, 927726, Subjects, 916520, Books, 956484, Logic, 956454, Pure Mathematics, 956414, Mathematics, 956280, Science & Math, 927726, Subjects, 916520, Books, 930084, Ethics & Morality, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930098, Logic & Language, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books, 930128, Phenomenology, 930118, Movements, 930040, Philosophy, 5489589011, Politics & Social Sciences, 927726, Subjects, 916520, Books

livre d'occasion Amazon.ca
calibris
Gebraucht Frais d'envoiUsually ships within 1 - 2 business days, 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 Volume 290) - Giovanni Sommaruga
Livre non disponible
(*)
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) - edition reliée, livre de poche

2000, ISBN: 9780792361800

ID: 585390668

Springer, 2000-02-01. 2000. Hardcover. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., Springer, 2000-02-01

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 14.02
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

ISBN: 9780792361800

ID: 9780792361800

hardback, [PU: Kluwer Academic Publishers]

Nouveaux livres Blackwell.co.uk
Blackwells.co.uk
in stock Frais d'envoiUsually dispatched within 7 days (EUR 2.79)
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 21.01.2017 21:58:34
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...
Livres en relation