Cut Elimination in Categories - Trends in Logic - K. Dosen - 書籍 - Springer - 9789048152261 - 2010年12月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

K. Dosen
Cut Elimination in Categories - Trends in Logic Softcover reprint of hardcover 1st ed. 1999 edition

価格
¥ 24.634
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月14日 - 年10月26日
K. Dosen の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.

241 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月9日
ISBN13 9789048152261
出版社 Springer
ページ数 229
寸法 155 × 235 × 13 mm   ·   344 g
言語 英語  

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

K. Dosenのすべてを見る