The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...
This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.
650 pages; ISBN 9780080880075
, or download in or
Program Logics for Certified Compilers 2014 US$ 14.99 469 pages
Using Google Maps and Google Earth 2011 US$ 19.99 360 pages
- Academic > Mathematics > General > Logic, Symbolic and mathematical
- Academic > Mathematics > General > Model theory
- Academic > Mathematics > Instruments and machines
- Academic > Mathematics > Analytic mechanics
- Academic > Logic > Model theory
- Academic > Computer Science
- Language Arts & Disciplines > Communication
- Computers > Information Technology