この商品を友人に教える:
Substructural Logics - Studies in Logic and Computation Dosen
価格
¥ 29.442
税抜
遠隔倉庫からの取り寄せ
発送予定日 年7月6日 - 年7月22日
iMusicのウィッシュリストに追加
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
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1994年4月28日 |
| 発売日 | 1993 |
| ISBN13 | 9780198537779 |
| 出版社 | Oxford University Press |
| ページ数 | 396 |
| 寸法 | 163 × 241 × 27 mm · 712 g |
| 言語 | 英語 |
| 編集者 | Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Belgrade) |
| 編集者 | Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language, Universitat Tubingen) |
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Hulur, Gizem (Professor, Professor, University of Bamberg) · The Seattle Longitudinal Study: Tracking Adult Development and Aging Over 50+ Years (Hardcover Book) [3 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/633/9780198879633.jpg?hulur-gizem-professor-professor-university-of-bamberg-2027-the-seattle-longitudinal-study-tracking-adult-development-and-aging-over-50-years-hardcover-book&class=scaled&v=1780312906)
![Cover for Pink, Thomas (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy, King's College London) · Free Will: A Very Short Introduction - Very Short Introductions (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/826/9780198862826.jpg?pink-thomas-emeritus-professor-of-philosophy-emeritus-professor-of-philosophy-king-s-college-london-2027-free-will-a-very-short-introduction-very-short-introductions-paperback-book&class=scaled&v=1779708645)
![Cover for Gormley, Laurence (Professor of European Law & Jean Monnet Professor, Professor of European Law & Jean Monnet Professor, University of Groningen) · EU Taxation Law (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9780198735403.jpg?gormley-laurence-professor-of-european-law-jean-monnet-professor-professor-of-european-law-jean-monnet-professor-university-of-groningen-2027-eu-taxation-law-hardcover-book&class=scaled&v=1619907403)
![Cover for Bell, Emma (Professor of Organisation Studies, Professor of Organisation Studies, Stockholm School of Economics) · Business Research Methods (Paperback Book) [7 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/615/9780198918615.jpg?bell-emma-professor-of-organisation-studies-professor-of-organisation-studies-stockholm-school-of-economics-2027-business-research-methods-paperback-book&class=scaled&v=1781538536)
