- 5 Résultats
prix le plus bas: € 125,08, prix le plus élevé: € 240,28, prix moyen: € 179,87
1
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Commander
sur ZVAB.com
€ 181,89
Envoi: € 12,991
Commander
Détails du fournisseur
Lien sponsorisé
Giovanni Sommaruga:

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

2000, ISBN: 0792361806

[EAN: 9780792361800], Neubuch, [SC: 12.99], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PRESENT; PREHISTORY, Druck auf Anfrage Neuware - A comp… Plus…

NEW BOOK. Frais d'envoi EUR 12.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Commander
sur ZVAB.com
€ 181,89
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Giovanni Sommaruga:

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

2000, ISBN: 0792361806

[EAN: 9780792361800], Neubuch, [SC: 0.0], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PREHISTORY; PRESENT, Druck auf Anfrage Neuware - A compre… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
3
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - Sommaruga, Giovanni
Commander
sur amazon.co.uk
£ 106,89
(environ € 125,08)
Envoi: € 5,621
Commander
Détails du fournisseur
Lien sponsorisé
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - edition reliée, livre de poche

2000

ISBN: 9780792361800

Springer, Hardcover, Auflage: 2000, 377 Seiten, Publiziert: 2000-07-31T00:00:01Z, Produktgruppe: Book, 1.55 kg, Books Global Store, Special Features, Books, Historiography, Historical Stu… Plus…

Gebraucht, wie neu. Frais d'envoiUsually dispatched within 13 to 14 days. Les coûts d'expédition peuvent différer des coûts réels. (EUR 5.62) BOOKS etc
fermer(X)
4
Commander
sur AbeBooks.fr
€ 240,28
Envoi: € 10,341
Commander
Détails du fournisseur
Lien sponsorisé
Sommaruga Giovanni:
History and Philosophy of Constructive Type Theory - edition reliée, livre de poche

2000, ISBN: 0792361806

[EAN: 9780792361800], Nouveau livre, [SC: 10.34], [PU: Springer], Print on Demand pp. 388 54:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Blue Cloth w/Jacket on White w/Gloss Lam, Books

NEW BOOK. Frais d'envoi EUR 10.34 Majestic Books, Hounslow, United Kingdom [51749587] [Note: 4 (sur 5)]
fermer(X)
5
Commander
sur alibris.co.uk
€ 170,19
Commander
Détails et expédition
Lien sponsorisé
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - edition reliée, livre de poche

2000, ISBN: 9780792361800

Hard cover, New., Sewn binding. Cloth over boards. With dust jacket. 367 p. Synthese Library, 290., Dordrecht, [PU: Springer]

Frais d'envoiLivraison non-comprise Sparks, NV, Alibris
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
Auteur:
Titre:
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: 290 (Synthese Library, 290)


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

Livre dans la base de données depuis 2007-01-25T13:58:33+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-06-15T23:58:58+02:00 (Paris)
ISBN/EAN: 0792361806

ISBN - Autres types d'écriture:
0-7923-6180-6, 978-0-7923-6180-0
Autres types d'écriture et termes associés:
Auteur du livre: sommaruga giovanni, martin löf
Titre du livre: synthese, philosophy history, history and theory, constructive type theory, just type

Données de l'éditeur

Auteur: Giovanni Sommaruga
Titre: Synthese Library; History and Philosophy of Constructive Type Theory
Editeur: Springer; Springer Netherland
367 Pages
Date de parution: 2000-07-31
Dordrecht; NL
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
X, 367 p.

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present; Logic; Moral Philosophy and Applied Ethics; Phenomenology; History; Ethik und Moralphilosophie; Phänomenologie und Existenzphilosophie; Geschichte; Geschichtsschreibung, Historiographie; BC

1. The Present Version of Constructive Type Theory (1995).- 2. Metatheoretical Considerations.- 3. History of Constructive Type Theory (1970–95).- 4. Philosophical and Technical Prehistory of Constructive Type Theory (1880–1970).- Conclusion.- References.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)

< pour archiver...