Tipsa dina vänner om produkten:
Substructural Logics - Studies in Logic and Computation Dosen
Pris
SEK 1.929
Beställningsvara
Förväntad leverans 8 - 22 okt
Få avisering om nya utgåvor med Dosen
Lägg till din iMusic-önskelista
eller
Substructural Logics - Studies in Logic and Computation
Dosen
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 | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 16 december 1993 |
| ISBN13 | 9780198537779 |
| Utgivare | Oxford University Press |
| Antal sidor | 396 |
| Mått | 163 × 241 × 27 mm · 805 g |
| Språk | Engelska |
| Redaktör | Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Belgrade) |
| Redaktör | Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language, Universitat Tubingen) |