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
Proof theory

  • The Road to Universal Logicby Arnold Koslow; Arthur Buchsbaum

    Springer International Publishing 2014; US$ 89.99

    This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette,... more...

  • Proof Theoryby Katalin Bimbo

    CRC Press 2014; US$ 89.95

    Proofs and proof theory Proofs of all kinds Early history of proof theory in a nutshell Proofs as calculations Classical first-order logic The sequent calculus LK An axiom system for FOL Equivalence of LK and K Interpretations, soundness and completeness Variants of the first sequent calculi Intuitionistic logic and... more...

  • Understanding Mathematical Proofby John Taylor; Rowan Garnier

    CRC Press 2014; US$ 59.95

    Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and Reasoning Introduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets... more...

  • Student Solutions Manual for A Transition to Abstract Mathematicsby Randall Maddox

    Elsevier Science 2013; US$ 14.99

    Student Solutions Manual for A Transition to Abstract Mathematics more...

  • Le?niewski's Systems of Logic and Foundations of Mathematicsby Rafal Urbaniak

    Springer International Publishing 2013; US$ 129.00

    Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Le?niewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school. 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...

  • Mathematischer Einführungskurs für die Physikby Siegfried Großmann

    Springer 2012; US$ 29.95

    Studierende, die ein Physikstudium aufnehmen, brauchen zu Beginn vor allem eines: mathematische Grundkenntnisse. Da es sich hierbei zun chst um einen relativ beschr nkten und charakteristischen Ausschnitt aus der Mathematik handelt, werden die ben tigten Kompetenzen vor allem im Rahmen von Tutorien oder Arbeitsgruppen vermittelt. Dieser Einf hrungskurs... 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...

  • Around and Beyond the Square of Oppositionby Jean-Yves Béziau; Dale Jacquette

    Springer 2012; US$ 89.95

    aiThe theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, psychology. The square can also be generalized in other two-dimensional or multi-dimensional... more...

  • Frege's Notationsby Gregory Landini; Michael Beaney

    Palgrave Macmillan 2012; US$ 95.00

    A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy. more...