Treatise on Intuitionistic Type Theory | Johan Georg Granström | Courants philosophiques | 9789400736399 | Librairie Club

Retrait en 2 heures
Assortiment impressionnant
Paiement sécurisé
Toujours un magasin près de chez vous

Retrait gratuit dans votre magasin Club
7.000.0000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

145,19 €

+ 290 points

Format

Livraison 1 à 2 semaines

Passer une commande en un clic

Payer en toute sécurité

Livraison en Belgique: 3,99 €

Livraison en magasin gratuite

Description

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.

Spécifications

Parties prenantes

Auteur(s) :

Editeur:

Contenu

Nombre de pages :: 198

Langue:: Anglais

Collection :

Tome:: n° 22

Caractéristiques

EAN:: 9789400736399

Date de parution :: 03-08-13

Format:: Livre broché

Format numérique:: Trade paperback (VS)

Dimensions :: 156 mm x 234 mm

Poids :: 303 g

Seulement chez Librairie Club

+ 290 points sur votre carte client de Librairie Club

CADEAU

à l'achat d'un Bongo à partir de 39 €

CADEAU

CONCOURS

à l'achat du nouveau Dan Brown

CONCOURS

RÉDUCTION

sur une sélection de papeterie

RÉDUCTION

Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.