商品詳細｜e-hon 洋書

小野寛晰（著）／論理学のための証明論・代数入門

Proof Theory and Algebra in Logic

Short Textbooks in Logic

Ono, Hiroakira

出版社：Springer
出版年月：2019年 07月
ISBN：9789811379963

装丁：PAP
装丁について

言語：ENG
巻数・ページ数：158 p.

分類：論理学・数理哲学 , 集合論・論理学

DDC分類：160

内容紹介：: Offers a concise introduction to two major techniques in the study of nonclassical logic: proof theory and algebraic methods, and highlights a combination of proof theory with algebraic methods.

関連書籍はこちら

海外在庫あり
通常２～５週間で出荷
出荷目安について

税込価格：

8,956円

【ご注意事項】: ※お客様都合による商品の返品は、原則としてお受けすることができません。; ※提携先の在庫から手配するため、納期遅延や在庫切れとなる場合がございます。; ※美品のご指定は承りかねます。; ※一冊単位でのご注文となります。; ※ご登録先のMy書店によってご注文いただけない場合がございます。; ※お受け取り方法は、店頭受取のみとなります。; 返品について