# The Leading eBooks Store Online

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

Most popular at the top

#### Handbook of Proof Theory

Elsevier Science 1998; US$ 235.00This 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...

#### The Nuts and Bolts of Proofs

Elsevier Science 2005; US$ 53.95The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically... more...

#### Adapting Proofs-as-Programs

Springer 2007; US$ 169.00Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. more...

#### The Moment of Proof

Oxford University Press, USA 2000; US$ 22.99When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.... more...

#### A Transition to Abstract Mathematics

Elsevier Science 2008; US$ 89.95Constructing 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...

#### Frege's Notations

Palgrave Macmillan 2012; US$ 95.00A 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...

#### Mathematischer Einführungskurs für die Physik

Springer 2012; US$ 29.95Studierende, 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 Science

Cambridge University Press 2004; US$ 116.00This book illustrates linear logic in the application of proof theory to computer science. more...

#### Lesniewski's Systems of Logic and Foundations of Mathematics

Springer 2013; US$ 129.00This 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 Theory

CRC Press 2014; US$ 89.95Proofs 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...