Categorical Logic and Type Theory

B. Jacobs

ISBN 10: 0444539425 ISBN 13: 9780444539427

Edit� par Elsevier Science, 1999

Langue: anglais

Etat : Neuf Couverture souple

Mettre de c�t�

Vendu par Revaluation Books, Exeter, Royaume-Uni

Vendeur AbeBooks depuis 6 janvier 2003

�valuation du vendeur 5 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Neuf(s) - Couverture souple

Etat : Neuf

Prix: EUR 314,24 Autre devise

EUR 28,91 exp�dition depuis Royaume-Uni vers Etats-Unis Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

784 pages. 9.00x1.77x6.00 inches. In Stock.

N� de r�f. du vendeur zk0444539425

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Categorical Logic and Type Theory

�diteur

Elsevier Science

Date de parution

1999

Langue

anglais

ISBN � 10 chiffres

0444539425

ISBN � 13 chiffres

9780444539427

Reliure

Paperback

�tat de l'article

Brand New

Catalogues du vendeur

A propos de ce titre

Synopsis

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.

Pr�sentation de l'�diteur

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

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Droit de r�tractation

Conditions d'exp�dition

Orders usually dispatched within two working days.

Frais d?exp�dition de Royaume-Uni�vers�Etats-Unis

Frais d?exp�dition de Royaume-Uni�vers�Etats-Unis
Quantit� command�e	7 � 18 jours ouvr�s	2 � 5 jours ouvr�s
Premier article	EUR 28.91	EUR 28.91

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.