Substructural Logics - Studies in Logic and Computation - Dosen - 書籍 - Oxford University Press - 9780198537779 - 1994年4月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Substructural Logics - Studies in Logic and Computation

価格
¥ 29.635
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月21日 - 年8月6日
Dosen の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

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)

同じ出版社からのその他の記事