Articles liés à Treatise on Intuitionistic Type Theory
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer
- Date d'édition2013
- ISBN 10 9400736398
- ISBN 13 9789400736399
- ReliureBroché
- Nombre de pages212
Acheter neuf
En savoir plus sur cette édition
EUR 149,79
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Treatise on Intuitionistic Type Theory
Edité par
Springer Netherlands Aug 2013
(2013)
ISBN 10 : 9400736398
ISBN 13 : 9789400736399
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book. 212 pp. Englisch, Deutsch. N° de réf. du vendeur 9789400736399
Acheter neuf
EUR 149,79
Autre devise
Image fournie par le vendeur
Treatise on Intuitionistic Type Theory
Edité par
Springer Netherlands
(2013)
ISBN 10 : 9400736398
ISBN 13 : 9789400736399
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The author was a PhD student of Per Martin-Loef, the inventor of intuitionistic type theory, and has unique insights in the field. There are many interesting connections between philosophy, logic, and computer science.A new and pedagogical t. N° de réf. du vendeur 5826661
Acheter neuf
EUR 127,40
Autre devise
Image fournie par le vendeur
Treatise on Intuitionistic Type Theory
Edité par
Springer Netherlands
(2013)
ISBN 10 : 9400736398
ISBN 13 : 9789400736399
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book. N° de réf. du vendeur 9789400736399
Acheter neuf
EUR 151,79
Autre devise
Image d'archives
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science)
Edité par
Springer
(2013)
ISBN 10 : 9400736398
ISBN 13 : 9789400736399
Neuf
Paperback
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. multilingual edition. 220 pages. German language. 9.00x6.00x0.50 inches. In Stock. N° de réf. du vendeur zk9400736398
Acheter neuf
EUR 242,50
Autre devise