This looks like a great read; can’t wait to do so.
(via Mark Watson)
Tag: Logic
More Great Books
Mathematical Logic Win
We are on a mini-weekend-vacation, having a great time, break bread at a great locally owned sushi restaurant, head out and stop at a half-priced-books, only to find a book that I already had on my list, brand new, great price… awesome! 🙂
Tarski’s World
The package is intended as a supplement to any standard logic text or for use by anyone who wants to learn the language of first order logic. The main body of the book contains a collection of exericses which use the Tarski’s World software to teach the language and semantics of first order logic. The Tarski’s World application allows the evaluation of first-order sentences within blocks world which users may construct using a simple editor. The worlds consist of collections of blocks of varying sizes and shapes, and placed on a checkerboard. We use an interpreted first-order language which allows users to write sentences about these worlds and evaluate their truth. A Henkin-Hintikka game may be used to elucidate the evaluation procedure.
Via PLT, where a few folks shared that this package is quite good.