Substructural Logics - Studies in Logic and Computation - Dosen - Książki - Oxford University Press - 9780198537779 - 16 grudnia 1993
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Substructural Logics - Studies in Logic and Computation

Dosen

Cena
zł 724,90

Zamówione z odległego magazynu

Przewidywana dostawa 13 - 24 lut
Dodaj do swojej listy życzeń iMusic

Substructural Logics - Studies in Logic and Computation

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

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 16 grudnia 1993
ISBN13 9780198537779
Wydawcy Oxford University Press
Strony 396
Wymiary 163 × 241 × 27 mm   ·   805 g
Redaktor Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Belgrade)
Redaktor Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language, Universitat Tubingen)