Quantit�:

Identifiez-vous pour activer la commande 1-Click.


	en essayant gratuitement Amazon Premium pendant un mois. Votre inscription aura lieu lors du passage de la commande. En savoir plus.

Plus de choix

Vous l'avez d�j� ? Vendez votre exemplaire ici

Partagez vos propres images client

Rechercher dans une autre �dition de ce livre

Dites-le � l'�diteur :
J'aimerais lire ce livre sur Kindle !

Vous n'avez pas encore de Kindle�? Achetez-le ici ou t�l�chargez une application de lecture gratuite.

Categorical Logic and Type Theory [Anglais] [Reli�]

Bart Jacobs (Auteur)

5.0 �toiles sur 5 Voir tous les commentaires (1 commentaire client)

Prix conseill� :	EUR 91,97
Prix :	EUR 87,38 LIVRAISON GRATUITE En savoir plus.
Prix Offre �clair :
�conomisez :	EUR 4,59 (5%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

En stock.
Exp�di� et vendu par Amazon.fr. Emballage cadeau disponible.

Plus que 1 ex (r�approvisionnement en cours). Commandez vite !

Voulez-vous le faire livrer le mardi 5 juin ? Choisissez la livraison en 1 jour ouvr� sur votre bon de commande. En savoir plus.

	Prix Amazon	Neuf � partir de	Occasion � partir de
Reli�	EUR 87,38	--	--
Voir # formats suppl�mentaires
Affichez moins de Grand format et format reli�
Broch�	EUR 151,27	--	--

Descriptions du produit

R.A.G. Seely, The Bulletin of Symbolic Logic, Vol. 6

June 2000
This book will be the standard reference in its field for some time to come.

Book Description

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

D�tails sur le produit

Reli�: 780 pages
Editeur�: Elsevier Science Ltd; �dition : Reprint (10 mai 2001)
Collection : Studies in Logic and the Foundations of Mathematics
Langue : Anglais
ISBN-10: 0444508538
ISBN-13: 978-0444508539

Moyenne des commentaires client�: 5.0 �toiles sur 5 Voir tous les commentaires (1 commentaire client)

Classement des meilleures ventes d'Amazon: 168.828 en Livres anglais et �trangers (Voir les 100 premiers en Livres anglais et �trangers)
Table des matières complète

Souhaitez-vous compl�ter ou am�liorer les informations sur ce produit ? Ou faire modifier les images?

En savoir plus sur l'auteur

D�couvrez des livres, informez-vous sur les �crivains, lisez des blogs d'auteurs et bien plus encore.

› Consultez la page Bart Jacobs d'Amazon

Dans ce livre (En savoir plus)
Parcourir et rechercher une autre �dition de ce livre.

Parcourir les pages �chantillon
Couverture | Copyright | Table des mati�res | Extrait | Index

Associer des mots-cl�s � ce produit

(De quoi s'agit-il ?)

Consid�rez votre mot-cl� comme une sorte d'�tiquette d�finissant parfaitement ce produit.
Les mots-cl�s aident les clients � organiser et trouver leurs articles favoris.

Vendre une version num�rique de ce livre dans la boutique Kindle.

Si vous �tes un �diteur ou un auteur et que vous disposez des droits num�riques sur un livre, vous pouvez vendre la version num�rique du livre dans notre boutique Kindle. En savoir plus

Commentaires en ligne

5 �toiles

4 �toiles

3 �toiles

2 �toiles

1 �toiles

1 commentaire

5.0 �toiles sur 5

Ecrire un commentaire client

Commentaires client les plus utiles

1 internautes sur 2 ont trouvé ce commentaire utile

Catégorie et théorie des types 7 mai 2004

Par Un client

Format:Reli�

Sans doute l'un des ouvrages les plus accessibles pour comprendre le lien entre ces deux domaines de recherche fascinant que sont les catgégories et les types.

Remarque sur ce commentaire |

Avez-vous trouvé ce commentaire utile ?

Oui

Non

› Voir le commentaire client

Ecrire un commentaire client

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }