Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - 書籍 - Springer London Ltd - 9780857298072 - 2011年7月16日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis

価格
¥ 8.468
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月19日 - 年10月29日
Jacob T. Schwartz の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

417 pages, black & white illustrations

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2011年7月16日
ISBN13 9780857298072
出版社 Springer London Ltd
ページ数 416
寸法 166 × 243 × 30 mm   ·   824 g
言語 英語  

Jacob T. Schwartzの他の作品を見る

すべて表示

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

Jacob T. Schwartzのすべてを見る