Fortell venner om denne varen:
Substructural Logics - Studies in Logic and Computation Dosen
Pris
NOK 1.809
Bestillingsvarer
Forventes levert 16. - 30. jul
Få varsel om nye utgivelser fra Dosen
Legg til iMusic ønskeliste
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øker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 28. april 1994 |
| Opprinelig utgitt | 1993 |
| ISBN13 | 9780198537779 |
| Utgivere | Oxford University Press |
| Antall sider | 396 |
| Mål | 163 × 241 × 27 mm · 712 g |
| Språk | Engelsk |
| 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) |