- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- 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
241,95 €
+ 483 points
Description
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 396
- Langue:
- Anglais
- Collection :
- Tome:
- n° 2
Caractéristiques
- EAN:
- 9780198537779
- Date de parution :
- 28-04-94
- Format:
- Livre relié
- Format numérique:
- Genaaid
- Dimensions :
- 176 mm x 232 mm
- Poids :
- 712 g
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.