The Leading eBooks Store Online

3,629,807 members ⚫ 1,172,494 ebooks

New to

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

  • Descriptive Set Theoretic Methods in Automata Theoryby Michal Skrzypczak

    Springer Berlin Heidelberg 2016; US$ 72.00

    The book is based on the PhD thesis ?Descriptive Set Theoretic Methods in Automata Theory,? awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides... more...

  • Logic, Language, Information, and Computationby Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz

    Springer Berlin Heidelberg 2016; US$ 94.00

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016. The 23 contributed papers, presented together with 9 invited lectures and tutorials, were... more...

  • Lectures on Infinitary Model Theoryby David Marker

    Cambridge University Press 2016; US$ 100.00 US$ 82.00

    Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications. more...

  • Gödel's Disjunctionby Leon Horsten; Philip Welch

    OUP Oxford 2016; US$ 109.99 US$ 94.59

    A famous theorem from Gödel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems. Within this context, the contributions to this book critically examine positions about the scope and limits of human mathematical knowledge. more...

  • Logic as a Toolby Valentin Goranko

    Wiley 2016; US$ 74.50 US$ 64.57

    Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning.  It offers a systematic and precise exposition of... more...

  • Cultures of Mathematics and Logicby Shier Ju; Benedikt Löwe; Thomas Müller; Yun Xie

    Springer International Publishing 2016; US$ 139.00

    This bookgathers the proceedings of the conference "Cultures of Mathematics andLogic," held in Guangzhou, China. The event was the third in a series ofinterdisciplinary, international conferences emphasizing the culturalcomponents of philosophy of mathematics and logic. It brought togetherresearchers from many disciplines whose work sheds new light... more...

  • Finitely Supported Mathematicsby Andrei Alexandru; Gabriel Ciobanu

    Springer International Publishing 2016; US$ 89.99

    In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF... more...

  • Set Theoryby Daniel W. Cunningham

    Cambridge University Press 2016; US$ 48.00 US$ 39.36

    Set theory can be considered a unifying theory for mathematics. This book covers the fundamentals of the subject. more...

  • Type Systems for Distributed Programs: Components and Sessionsby Ornela Dardha

    Atlantis Press 2016; US$ 109.00

    In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success... more...

  • Towards Paraconsistent Engineeringby Seiki Akama

    Springer International Publishing 2016; US$ 129.00

    This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations... more...