- 5 Résultats
prix le plus bas: € 134,99, prix le plus élevé: € 212,64, prix moyen: € 183,92
1
Commander
sur booklooker.de
€ 134,99
Envoi: € 0,001
CommanderLien sponsorisé
Sommaruga, Giovanni:

History and Philosophy of Constructive Type Theory - Livres de poche

2010, ISBN: 9789048154036

Edition reliée

[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… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Commander
sur Indigo.ca
C$ 288,50
(environ € 200,89)
CommanderLien sponsorisé
History and Philosophy of Constructive Type Theory - nouveau livre

ISBN: 9789048154036

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 tal… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Commander
sur Indigo.ca
C$ 312,50
(environ € 212,64)
CommanderLien sponsorisé
History and Philosophy of Constructive Type Theory - nouveau livre

ISBN: 9789048154036

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 tal… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
4
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
Commander
sur Achtung-Buecher.de
€ 189,07
Envoi: € 0,001
CommanderLien sponsorisé
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - Livres de poche

2010, ISBN: 9048154030

Edition reliée

Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Commander
sur Hugendubel.de
€ 181,99
Envoi: € 0,001
CommanderLien sponsorisé
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - Livres de poche

2000, ISBN: 9048154030

Edition reliée

History and Philosophy of Constructive Type Theory ab 181.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2000. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > B… Plus…

Nr. 13445135. Frais d'envoi, , DE. (EUR 0.00)

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

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.

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


EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer Netherlands
380 Pages
Poids: 0,573 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2010-09-14T03:13:55+02:00 (Zurich)
Page de détail modifiée en dernier sur 2021-10-27T17:08:42+02:00 (Zurich)
ISBN/EAN: 9789048154036

ISBN - Autres types d'écriture:
90-481-5403-0, 978-90-481-5403-6
Autres types d'écriture et termes associés:
Auteur du livre: giovanni sommaruga
Titre du livre: constructiv, history constructive type theory, die type, philosophy history, 290, history and theory


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: 2010-12-07
Dordrecht; NL
Imprimé / Fabriqué en
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 367 p.

BC; 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; BB; EA

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...