Handbook of Logic and Proof Techniques for Computer Science - Steven G. Krantz - 書籍 - Springer-Verlag New York Inc. - 9781461266198 - 2012年10月23日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Handbook of Logic and Proof Techniques for Computer Science Softcover reprint of the original 1st ed. 2002 edition

価格
¥ 8.769
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月12日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

他の形態でも入手可能:

Logic is, and should be, the core subject area of modern mathemat ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.


264 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年10月23日
ISBN13 9781461266198
出版社 Springer-Verlag New York Inc.
ページ数 245
寸法 155 × 235 × 14 mm   ·   381 g
言語 英語  

Steven G. Krantzの他の作品を見る

すべて表示