Articles liés à Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory - Couverture souple

 
9789400736399: Treatise on Intuitionistic Type Theory

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Johan G. Granström (1977) holds an Uppsala doctorate in mathematical logic (2009). He had the privilege of having Em.Prof. Per Martin-Löf, the father of dependent types, as doctoral supervisor (2003-2009), along with Prof. Erik Palmgren, a renowned expert in constructive mathematics.

Dr. Granström has been a short-term research fellow at Ludwig-Maximilians-Universität München (2006-2007) and a research associate in formal methods for MDA at King's College London (2009). Before entering into doctoral studies he was employed in the computer industry as systems developer, consultant, and software architect (1998-2003). He worked as Systems and Solutions Architect at Svea Ekonomi (2009-2011) and is currently employed by Google, Zürich (2011- ).

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Comme neuf
Like New
Afficher cet article
EUR 244,74

Autre devise

EUR 28,84 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 127,40

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9789400717350: Treatise on Intuitionistic Type Theory

Edition présentée

ISBN 10 :  9400717350 ISBN 13 :  9789400717350
Editeur : Springer, 2011
Couverture rigide

Résultats de recherche pour Treatise on Intuitionistic Type Theory

Image fournie par le vendeur

Johan Georg Granström
Edité par Springer Netherlands, 2013
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 127,40
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Johan Georg Granström
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 149,79
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Johan Georg Granström
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 152,32
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Johan Georg Granström
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch. N° de réf. du vendeur 9789400736399

Contacter le vendeur

Acheter neuf

EUR 149,79
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Johan Georg Granstr?m
Edité par Springer, 2013
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 212. N° de réf. du vendeur 26128418246

Contacter le vendeur

Acheter neuf

EUR 201,07
Autre devise
Frais de port : EUR 7,70
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Granstr?m Johan Georg
Edité par Springer, 2013
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 212 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 131087897

Contacter le vendeur

Acheter neuf

EUR 213,01
Autre devise
Frais de port : EUR 10,21
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Granstr?m Johan Georg
Edité par Springer, 2013
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 212. N° de réf. du vendeur 18128418252

Contacter le vendeur

Acheter neuf

EUR 218,42
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Johan Georg Granstroem
Edité par Springer, 2013
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. multilingual edition. 220 pages. German language. 9.00x6.00x0.50 inches. In Stock. N° de réf. du vendeur zk9400736398

Contacter le vendeur

Acheter neuf

EUR 239,55
Autre devise
Frais de port : EUR 11,53
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Granström, Johan Georg
Edité par Springer, 2013
ISBN 10 : 9400736398 ISBN 13 : 9789400736399
Ancien ou d'occasion Paperback

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA80094007363986

Contacter le vendeur

Acheter D'occasion

EUR 244,74
Autre devise
Frais de port : EUR 28,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier