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

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

  • Kurt Gödelby Solomon Feferman; Charles Parsons; Stephen G. Simpson

    Cambridge University Press 2010; US$ 32.00

    Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium. more...

  • Realizabilityby Jaap van Oosten

    Elsevier Science 2008; US$ 175.00

    Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject... more...

  • Logica Universalisby Jean-yves Beziau

    Springer 2007; US$ 79.95

    Universal Logic is a general theory of logics, considered as mathematical structures. This book contains various works on universal logic by researchers from around the world. It also provides tools and concepts for those who want to study classes of already existing logics or want to design and build fresh ones. 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...

  • Logica Universalisby Jean-Yves Beziau

    Springer 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: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence... more...

  • Lectures in Logic and Set Theory: Volume 2, Set Theoryby George Tourlakis

    Cambridge University Press 2003; US$ 59.00

    This two-volume 2003 work bridges the gap between introductory texts and the research literature. more...

  • Lectures in Logic and Set Theory: Volume 1, Mathematical Logicby George Tourlakis

    Cambridge University Press 2003; US$ 38.00

    This 2003 two-volume set bridges the gap between introductory texts and the research literature. 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...

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