The Leading eBooks Store Online

3,667,858 members ⚫ 1,180,414 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
Combinatory logic

Most popular at the top

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

  • Bounded Arithmetic, Propositional Logic and Complexity Theoryby Jan Krajicek

    Cambridge University Press 1995; US$ 152.00 US$ 124.64

    Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems. more...

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

    Cambridge University Press 2004; US$ 116.00 US$ 95.12

    This book illustrates linear logic in the application of proof theory to computer science. 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...

  • Constructivism in Mathematics, Vol 2by A.S. Troelstra; D. van Dalen

    Elsevier Science 2014; US$ 72.95

    Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and... more...

  • The Road to Universal Logicby Arnold Koslow; Arthur Buchsbaum

    Springer International Publishing 2015; US$ 67.38

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

  • Logic for Concurrency and Synchronisationby R.J. De Queiroz

    Springer Netherlands 2006; US$ 157.24

    The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses ? as in the many sophisticated process logics... more...

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

    Springer International Publishing 2013; US$ 101.08

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

  • Constructive Negations and Paraconsistencyby Sergei Odintsov

    Springer Netherlands 2008; US$ 168.47

    This book presents the author's recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic.The paraconsistent logics are those, which admit inconsistent but non-trivial... more...

  • Essays in Constructive Mathematicsby Harold M. Edwards

    Springer New York 2007; US$ 101.08

    This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not `algorithms' that require surveying an infinite number of possibilities to determine whether a given condition is met. The topics covered derive from classic works of... more...