この商品を友人に教える:
Introduction to Logic - Synthesis Lectures on Computer Science Michael Genesereth 2 Revised edition
Introduction to Logic - Synthesis Lectures on Computer Science
Michael Genesereth
Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.
164 pages, black & white illustrations
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2013年8月1日 |
| ISBN13 | 9781627052474 |
| 出版社 | Morgan & Claypool Publishers |
| ページ数 | 163 |
| 寸法 | 191 × 235 × 9 mm · 319 g |
| 言語 | 英語 |
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn - IOP Concise Physics (Paperback Book) [2 Revised edition] (2019)](https://imusic.b-cdn.net/images/item/original/110/9781643277110.jpg?joshua-colwell-2019-the-ringed-planet-cassini-s-voyage-of-discovery-at-saturn-iop-concise-physics-paperback-book&class=scaled&v=1605099497)
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn (Hardcover Book) [2 Revised edition] (2019)](https://imusic.b-cdn.net/images/item/original/158/9781643277158.jpg?joshua-colwell-2019-the-ringed-planet-cassini-s-voyage-of-discovery-at-saturn-hardcover-book&class=scaled&v=1604028982)
