A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - 書籍 - Springer Science+Business Media - 9780306463945 - 2000年10月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Grigori Mints
A Short Introduction to Intuitionistic Logic - University Series in Mathematics 2000 edition

価格
¥ 21.974
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月2日 - 2026年1月14日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

他の形態でも入手可能：

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

131 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2000年10月31日
ISBN13 9780306463945
出版社 Springer Science+Business Media
ページ数 131
寸法 242 × 163 × 17 mm   ·   372 g
言語 英語  

Grigori Mintsのすべてを見る ( 例： Hardcover Book および Paperback Book )