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
Logic, Symbolic and mathematical; Methodology

  • Logica Universalisby

    Birkhäuser Basel 2007; US$ 79.95

    Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...

  • Logica Universalisby Jean-Yves Beziau

    Birkhäuser Basel 2005; US$ 69.95

    Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...

  • Mathematical Logicby Ian Chiswell; Wilfrid Hodges

    Oxford University Press, UK 2007; US$ 69.99

    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate... more...

  • Mathematics & Common Senseby Philip J. Davis

    CRC Press 2006; US$ 47.95

    Davis is one of a very small group of mathematicians who are interested and able to step outside the community and take a hard look at what mathematics really 'is'. Its uses, misuses, customs, relations with the so-called 'real' world, psychology and deep nature are all grist for his voracious mill."" -David Mumford, Brown University, November 2006... more...

  • In the Light of Logicby Solomon Feferman

    Oxford University Press 1999; US$ 124.99

    This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing. more...

  • Mathematical Logicby R.O. Gandy; C.E.M. Yates

    Elsevier Science 2001; US$ 190.00

    Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work... more...

  • Slicing the Truthby Denis R. Hirschfeldt; Chitat Chong; Qi Feng; Theodore A. Slaman; W. Hugh Woodi; Yue Yang

    World Scientific Publishing Company 2014; US$ 60.00

    This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a... more...

  • Algorithmic Puzzlesby Anany Levitin; Maria Levitin

    Oxford University Press, USA 2011; US$ 18.99

    While many think of algorithms as specific to computer science, at its core algorithmic thinking is defined by the use of analytical logic to solve problems. This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic brainteasers as... more...

  • Formalism and Beyondby Godehard Link

    De Gruyter 2014; US$ 154.00

    The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic... more...

  • Mathematical Logic In The 20th Centuryby Gerald E. Sacks

    World Scientific Publishing Company 2003; US$ 267.00

    This invaluable book is a collection of 31 important both in ideas and results papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Gödel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin. more...