The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
Most popular at the top
- Dover Publications 2011; US$ 19.95
This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Numerous examples and exercises. 1959 edition. more...
- Dover Publications 2013; US$ 34.95
This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models constructed from constants, ultraproducts, and saturated and special models. 1990 edition. more...
- Dover Publications 2013; US$ 24.95
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more. more...
- Dover Publications 2013; US$ 15.95
Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition. more...
- Penguin Publishing Group 2006; US$ 15.00
?Devoid of complex proofs and dense mathematical language; instead, the author has drawn upon his experience as a formative teacher to create a book rich in content that connects with real-world experiences.? ? Library Journal ?Joseph Mazur brilliantly explores the symbiotic relationship between the physical and the mathematical worlds?A stylish and... more...
- Springer New York 2014; US$ 89.99
The second edition includes three expanded chapters, additional problems, and an application to fixed-point theory New solutions manual available to instructors upon request Elegant proofs and excellent choice of topics Numerous examples and exercises to enforce methodology; exercises integrated into the main text, as well as at the end of each... more...
- Dover Publications 2015; US$ 32.95
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic... more...
- CRC Press 2015; US$ 99.95
In order to perform effective analysis of today?s information security systems, numerous components must be taken into consideration. This book presents a well-organized, consistent solution created by the author, which allows for precise multilevel analysis of information security systems and accounts for all of the significant details. Enabling... more...