Substructural Logics - Studies in Logic and Computation - Dosen - Books - Oxford University Press - 9780198537779 - April 28, 1994
In case cover and title do not match, the title is correct

Substructural Logics - Studies in Logic and Computation

Price
NZ$ 315
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 6 - 22
Add to your iMusic wish list

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 Books     Hardcover Book   (Book with hard spine and cover)
Released April 28, 1994
Original release date 1993
ISBN13 9780198537779
Publishers Oxford University Press
Pages 396
Dimensions 163 × 241 × 27 mm   ·   712 g
Language English  
Editor Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Belgrade)
Editor Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language, Universitat Tubingen)

Mere med samme udgiver

See all of Dosen ( e.g. Book and Hardcover Book )