The Leading eBooks Store Online
3,788,875 members ⚫ 1,234,658 ebooks
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 2013; US$ 16.95
With wit and clarity, the authors progress from simple arithmetic to calculus and non-Euclidean geometry. Their subjects: geometry, plane and fancy; puzzles that made mathematical history; tantalizing paradoxes; more. Includes 169 figures. more...
- 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...
- Springer New York 2014; US$ 63.68
This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language. The text is a comprehensive and largely self-contained introduction to the theory of real-valued functions of a real variable. The chapters on Lebesgue... 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...