An Introduction to Metalogic - Aladdin M. Yaqub - 書籍 - Broadview Press Ltd - 9781554811717 - 2014年10月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Aladdin M. Yaqub
An Introduction to Metalogic

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
Aladdin M. Yaqub の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Offers an accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems.

300 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年10月24日
ISBN13 9781554811717
出版社 Broadview Press Ltd
ページ数 310
寸法 179 × 228 × 15 mm   ·   280 g

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

Aladdin M. Yaqubのすべてを見る ( 例： Paperback Book )