An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series - Peter B. Andrews - 書籍 - Springer - 9789048160792 - 2010年12月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series 2nd Ed. 2002. Softcover Reprint of the Original 2n Edition

価格
¥ 14.319
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月7日 - 年12月17日
クリスマスプレゼントは1月31日まで返品可能です
Peter B. Andrews の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization.

414 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月9日
ISBN13 9789048160792
出版社 Springer
ページ数 414
寸法 156 × 234 × 21 mm   ·   576 g

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

Peter B. Andrewsのすべてを見る