The Leading eBooks Store Online

3,964,430 members ⚫ 1,303,930 ebooks

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Combinatory logic

Most popular at the top

  • The Nuts and Bolts of Proofsby Antonella Cupillari

    Elsevier Science 2011; US$ 49.95

    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It... more...

  • Varieties of Constructive Mathematicsby Douglas Bridges; Fred Richman

    Cambridge University Press 1987; US$ 52.00

    This is an introduction to, and survey of, the constructive approaches to pure mathematics. more...

  • A Logical Introduction to Proofby Daniel W. Cunningham

    Springer New York 2012; US$ 47.27

    This unique textbook uses a ‘logic-first’ approach to train and guide undergraduates through transition courses bridging calculus and advanced mathematics. It also offers a valuable introduction to group theory and real analysis, including proof strategies. more...

  • Proof and Proving in Mathematics Educationby Gila Hanna; Michael de Villiers

    Springer Netherlands 2012; US$ 235.22

    Proof and Proving in Mathematics Education argues that deductive reasoning and proof should be integral parts of any mathematics curriculum. It identifies the resources teachers needed to enact such instruction, and facilitates the design of teacher education and development programs that provide them. more...

  • An Introduction to Mathematical Reasoningby Peter J. Eccles

    Cambridge University Press 1997; US$ 52.00

    The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to students starting university mathematics. more...

  • Computation and Automataby Arto Salomaa

    Cambridge University Press 1985; US$ 74.00

    In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science. more...

  • Ways of Proof Theoryby Ralf Schindler

    De Gruyter 2010; US$ 224.00

    In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.... more...

  • Understanding Mathematical Proofby John Taylor; Rowan Garnier

    CRC Press 2016; US$ 59.95

    The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs. Understanding Mathematical Proof describes the nature of mathematical proof, explores the various... more...

  • Mathematical Analysis and Proofby David S G Stirling

    Elsevier Science 2009; US$ 72.95

    This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid... more...

  • Sparse Grids and Applications - Munich 2012by Jochen Garcke; Dirk Pflüger

    Springer International Publishing 2014; US$ 153.65

    Sparse grids have gained increasing interest in recent years for the numerical treatment of high-dimensional problems. Whereas classical numerical discretization schemes fail in more than three or four dimensions, sparse grids make it possible to overcome the “curse” of dimensionality to some degree, extending the number of dimensions that can be... more...