Introduction To Mathematical Logic - Walicki, Michal (Univ Of Bergen, Norway) - 書籍 - World Scientific Publishing Co Pte Ltd - 9789814343879 - 2011年12月15日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Walicki, Michal (Univ Of Bergen, Norway)
Introduction To Mathematical Logic

価格
¥ 8.415
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月18日 - 年9月3日
Walicki, Michal (Univ Of Bergen, Norway) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.

300 pages, illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年12月15日
ISBN13 9789814343879
出版社 World Scientific Publishing Co Pte Ltd
ページ数 282
寸法 154 × 223 × 15 mm   ·   416 g

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

Walicki, Michal (Univ Of Bergen, Norway)のすべてを見る ( 例： Hardcover Book および Paperback Book )