The Leading eBooks Store Online
3,817,579 members ⚫ 1,261,085 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
Most popular at the top
- Cambridge University Press 1990; US$ 62.00
This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program... more...
- 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. A Transition to Abstract Mathematics teaches readers to construct proofs and communicate with the precision necessary... more...
- Wiley 2014; US$ 132.00 US$ 114.40
Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM... more...
- 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...
- Springer Basel 2012; US$ 57.49
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...
- Vieweg+Teubner Verlag 2012; US$ 20.96
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...
- Cambridge University Press 1995; US$ 152.00
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems. more...
- Springer International Publishing 2013; US$ 97.62
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...
- 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...