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

B. Jacobs (Auteur)

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

Prix conseill� :	EUR 159,23
Prix :	EUR 151,27 LIVRAISON GRATUITE En savoir plus.
Prix Offre �clair :
�conomisez :	EUR 7,96 (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, mais la livraison peut n�cessiter jusqu'� 2 jours suppl�mentaires.
Exp�di� et vendu par Amazon.fr. Emballage cadeau disponible.

	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. --Ce texte fait r�f�rence � l'�dition Reli� .

Book Description

Hardbound. 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. --Ce texte fait r�f�rence � l'�dition Reli� .

D�tails sur le produit

Broch�: 784 pages
Editeur�: Elsevier Science (14 janvier 1999)
Langue : Anglais
ISBN-10: 0444539425
ISBN-13: 978-0444539427

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

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 les pages �chantillon
Couverture | Copyright | Table des mati�res | Extrait | Quatri�me de couverture

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

1 Evaluation

5 �toiles:		(1)
4 �toiles:		(0)
3 �toiles:		(0)
2 �toiles:		(0)
1 �toiles:		(0)

Moyenne des commentaires client

5.0 �toiles sur 5 (1 commentaire client)

Partagez votre opinion avec les autres clients:

Cr�er votre propre commentaire

Commentaires client les plus utiles

1 internaute sur 2 a trouvé ce commentaire utile :

5.0 �toiles sur 5 Catégorie et théorie des types, 7 mai 2004

Par Un client

Ce commentaire fait r�f�rence � cette �dition : Categorical Logic and Type Theory (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.

Aidez d'autres clients � trouver les commentaires les plus utiles

Avez-vous trouvé ce commentaire utile ? Oui Non

Signaler un abus | Permalien

Remarque sur ce commentaire Remarque sur ce commentaire

Partagez votre opinion avec les autres clients: Cr�er votre propre commentaire

› Afficher le 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; }