# The Leading eBooks Store Online

## 4,034,055 members ⚫ 1,328,001 ebooks

Most popular at the top

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

#### Around and Beyond the Square of Opposition

Springer Basel 2012; US$ 62.59This 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...

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

Vieweg+Teubner Verlag 2012; US$ 22.82Studierende, 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...

#### Leśniewski's Systems of Logic and Foundations of Mathematics

Springer International Publishing 2013; US$ 106.30Offering 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...

#### Proof Theory

CRC Press 2014; US$ 99.95Although 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...

#### The Road to Universal Logic

Springer International Publishing 2014; US$ 70.86This 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...

#### The Road to Universal Logic

Springer International Publishing 2015; US$ 70.86This 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...

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

#### Adapting Proofs-as-Programs

Springer New York 2007; US$ 165.36This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated... more...