The Leading eBooks Store Online

3,863,569 members ⚫ 1,270,059 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
Proof theory

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

  • The Road to Universal Logicby Arnold Koslow; Arthur Buchsbaum

    Springer International Publishing 2015; US$ 67.09

    This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic... more...

  • The Road to Universal Logicby Arnold Koslow; Arthur Buchsbaum

    Springer International Publishing 2014; US$ 67.09

    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$ 99.95

    Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi... more...

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

    Springer International Publishing 2013; US$ 100.64

    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$ 44.72

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

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

    Vieweg+Teubner Verlag 2012; US$ 21.61

    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 Gila Hanna; Michael de Villiers

    Springer Netherlands 2012; US$ 222.54

    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 Beziau; Dale Jacquette

    Springer Basel 2012; US$ 59.26

    This book collects previously unpublished papers exploring the theory of oppositions based on Aristotelian foundations of logic, reflecting renewed interest and challenging re-interpretations which extend the original theory in breadth and depth. 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...