The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

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

  • Theorems, Corollaries, Lemmas, and Methods of Proofby Richard J. Rossi

    Wiley 2011; US$ 144.00

    A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips students with the tools... more...

  • Learning to Reasonby Nancy Rodgers

    Wiley 2011; US$ 186.00

    Learn how to develop your reasoning skills and how to write well-reasoned proofs Learning to Reason shows you how to use the basic elements of mathematical language to develop highly sophisticated, logical reasoning skills. You'll get clear, concise, easy-to-follow instructions on the process of writing proofs, including the necessary reasoning techniques... more...

  • 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...

  • Cooperative Task-Oriented Computing: Algorithms and Complexityby Chryssis Georgiou; Alexander Shvartsman

    Morgan & Claypool Publishers 2011; US$ 45.00

    Cooperative network supercomputing is becoming increasingly popular for harnessing the power of the global Internet computing platform. A typical Internet supercomputer consists of a master computer or server and a large number of computers called workers, performing computation on behalf of the master. Despite the simplicity and benefits of a single... 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...

  • Proof and Proving in Mathematics Educationby

    Springer Netherlands 2012; US$ 219.00

    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...

  • A Logical Introduction to Proofby Daniel Cunningham

    Springer New York 2012; US$ 59.95

    Identifies the important topics in logic that mathematicians use in their proofs Methodically presents the key strategies used in mathematical proofs Each proof strategy is illustrated by a variety of theorems concerning the natural, rational and real numbers An introduction to group theory and real analysis that presents proof strategies for dealing... 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$ 72.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$ 210.00

    On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 ? 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and... more...