Substructural Logics - Studies in Logic and Computation - Dosen - Grāmatas - Oxford University Press - 9780198537779 - 1994. gada 28. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Substructural Logics - Studies in Logic and Computation

Cena
€ 178,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 2. - 16. jūl.
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1994. gada 28. aprīlis
Oriģinālā izdošanas datums 1993
ISBN13 9780198537779
Izdevēji Oxford University Press
Lapas 396
Izmēri 163 × 241 × 27 mm   ·   712 g
Valoda Angļu  
Redaktors Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Belgrade)
Redaktors Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language, Universitat Tubingen)

Mere med samme udgiver

Skatīt visus Dosen ( piem., Book un Hardcover Book )