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

Walicki, Michal (University of Bergen, Norway)
Introduction to Mathematical Logic

価格
¥ 12.596
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月18日 - 年9月30日
Walicki, Michal (University 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

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2011年12月15日
ISBN13 9789814343862
出版社 World Scientific Publishing Co Pte Ltd
ページ数 282
寸法 164 × 236 × 20 mm   ·   532 g

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

Walicki, Michal (University of Bergen, Norway)のすべてを見る