Substructural Logics - Studies in Logic and Computation - Dosen - Livres - Oxford University Press - 9780198537779 - 16 décembre 1993
Si la couverture et le titre ne correspondent pas, le titre est correct.

Substructural Logics - Studies in Logic and Computation

Prix
€ 172,99

Commandé depuis un entrepôt distant

Livraison prévue 27 oct. - 10 nov.
Recevez une notification pour les nouvelles sorties de Dosen
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories.


396 pages, line figures

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 16 décembre 1993
ISBN13 9780198537779
Éditeurs Oxford University Press
Pages 396
Dimensions 163 × 241 × 27 mm   ·   805 g
Langue et grammaire Anglais  
Éditeur Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Belgrade)
Éditeur Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language, Universitat Tubingen)

Plus d'ouvrages du même éditeur