First Course in Mathematical Logic - Dover Books on Mathema 1.4tics - Patrick Suppes - 書籍 - Dover Publications Inc. - 9780486422596 - 2010年6月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

First Course in Mathematical Logic - Dover Books on Mathema 1.4tics


商品が入荷したらメールで通知を受け取る
プロフィールはありますか? ログイン
Patrick Suppes の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities.


288 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年6月17日
発売日 2003
ISBN13 9780486422596
出版社 Dover Publications Inc.
ページ数 288
寸法 215 × 143 × 23 mm   ·   312 g
言語 英語  

Patrick Suppesの他の作品を見る

すべて表示

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