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

Most popular at the top

  • The Proof is in the Puddingby Steven G. Krantz

    Springer 2011; US$ 49.99

    This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to... 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...

  • Linear Logic in Computer Scienceby Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott

    Cambridge University Press 2004; US$ 109.00

    This book illustrates linear logic in the application of proof theory to computer science. more...

  • Lesniewski's Systems of Logic and Foundations of Mathematicsby Rafal Urbaniak

    Springer 2013; US$ 129.00

    This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw  Lesniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The authorâ??s nuanced survey eschews secondary commentary, analyzing Lesniewski's core philosophical views and evaluating... more...

  • Proof Theoryby Katalin Bimbo

    Taylor and Francis 2014; US$ 89.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...

  • Mathematical Thinking and Writingby Randall Maddox

    Elsevier Science 2001; US$ 107.00

    The ability to construct proofs is one of the most challenging aspects of the world of mathematics. It is, essentially, the defining moment for those testing the waters in a mathematical career. Instead of being submerged to the point of drowning, readers of Mathematical Thinking and Writing are given guidance and support while learning the language... more...

  • Handbook of Proof Theoryby S.R. Buss

    Elsevier Science 1998; US$ 235.00

    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics... more...

  • A Transition to Abstract Mathematicsby Randall Maddox

    Elsevier Science 2008; US$ 89.95

    Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. Mathematical Thinking and Writing teaches readers to construct proofs and communicate with the precision necessary... more...

  • Lectures on the Curry-Howard Isomorphismby Morten Heine Sørensen; Pawel Urzyczyn

    Elsevier Science 2006; US$ 170.00

    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic... 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...