Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Categorical Logic and Type Theory

Langue AnglaisAnglais
Livre Livre de poche
Livre Categorical Logic and Type Theory B. Jacobs
Code Libristo: 04079613
Éditeurs Elsevier Science & Technology, mai 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Description détaillée
? points 327 b
133.69 € TVA incluse
Stockage externe Expédition sous 10-16 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Livre Feuille
common.buy 12.49 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Categorical Logic and Type Theory
Auteur B. Jacobs
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2001
Nombre de pages 778
EAN 9780444508539
ISBN 0444508538
Code Libristo 04079613
Éditeurs Elsevier Science & Technology
Poids 1242
Dimensions 167 x 242 x 46

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Mathématiques et sciences > Mathématiques > Géométrie > Géométrie algébrique
Mathématiques et sciences > Mathématiques > Algèbre
Mathématiques et sciences > Mathématiques > Mathématiques appliquées
Mathématiques et sciences > Sciences : généralités > Philosophie des sciences
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Foundations of Mathematics Kenneth Kunen / Livre Livre de poche
common.buy 23.59 €
Categories for Types Crole / Livre Livre de poche
common.buy 91.49 €
Top
Set Theory Kenneth Kunen / Livre Livre de poche
common.buy 22.99 €
Completions of Categories Joachim Lambek / Livre Livre de poche
common.buy 25.59 €
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Livre Livre relié
common.buy 461.39 €
Set Theory Thomas Jech / Livre Livre relié
common.buy 203.39 €
Set Theory Thomas Jech / Livre Livre de poche
common.buy 203.39 €
Abordable
Real World Haskell Bryan O´Sullivan / Livre Livre de poche
common.buy 40.79 €
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Livre Livre relié
common.buy 73.59 €
Master Dogen's Zazen Meditation Handbook Eihei Dogen / Livre Livre relié
common.buy 12.89 €
Sixty for Sax Alan Bullard / Articles imprimés Partitions
common.buy 7.79 €
The Story of Atlantis & The Lost Lemuria William Scott-Elliot / Livre Livre de poche
common.buy 7.89 €
Higher-Order Logic and Type Theory John L. Bell / Livre Livre de poche
common.buy 24.79 €
An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer / Livre Livre de poche
common.buy 25.80 €
Advances in Applications of Industrial Biomaterials Eva Pellicer / Livre Livre de poche
common.buy 106.39 €
Platform for Change Analogique / Livre Livre relié
common.buy 54.79 €
Temporal Type Theory Patrick Schultz / Livre Livre relié
common.buy 65.59 €
Basketball: The 9 Essential Game Skills Dre Baldwin / Livre Livre de poche
common.buy 18.10 €
Dark Psychology and Manipulation: This book helps to discover the secrets and techniques in Dark Psychology and daily used techniques to control mind. Sarah Fergie / Livre Livre de poche
common.buy 8.09 €
Quantum Entanglement: Part Two Ryan Stacks / Livre Livre de poche
common.buy 13.90 €
Truth of the Once and Future King M T Boulton / Livre Livre de poche
common.buy 13.89 €
Advanced Taekwondo Adam Gibson / Livre Livre de poche
common.buy 13.89 €
Rise of Radio Astronomy in the Netherlands Astrid Elbers / Livre Livre de poche
common.buy 95.79 €
Annabelle: A Ghostly Texas Tale Chana Keefer / Livre Livre de poche
common.buy 14.80 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?