Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science - Gilles Dowek - 書籍 - Springer London Ltd - 9780857291202 - 2011年1月14日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Gilles Dowek
Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science

価格
¥ 7.929
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月15日 - 2026年1月28日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the text covers both elementary topics -- proofs, models, recursive functions, etc. -- as well as more advanced principles.

203 pages, 1, black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年1月14日
ISBN13 9780857291202
出版社 Springer London Ltd
ページ数 156
寸法 157 × 235 × 9 mm   ·   244 g

Gilles Dowekの他の作品を見る

すべて表示

Gilles Dowekのすべてを見る ( 例： Paperback Book )