The Leading eBooks Store Online

3,834,764 members ⚫ 1,265,029 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
Logic

  • Problemlösen und Mathematiklernenby Anna-Christin Söhling

    Springer Fachmedien Wiesbaden 2017; US$ 42.37

    Anna-Christin Söhling beschreibt die Erkenntnisgewinnung während des Problemlöseprozesses durch Probieren und Aufdecken von Irrtümern. Dabei nutzt sie das Begriffsnetz aus Deduktion, Abduktion und Induktion nach Peirce (1903) und Meyer (2007). Mathematische Problemlöseprozesse zeichnen sich oft durch Probieren und irrtumbehaftete Herangehensweisen... more...

  • Can You Solve My Problems?by Alex Bellos

    The Experiment 2017; US$ 15.95

    Puzzle lovers, rejoice! Bestselling math writer Alex Bellos has a challenge for you: 125 of the world?s best brainteasers from the last two millennia. Armed with logic alone, you?ll detect counterfeit coins, navigate river crossings, and untangle family trees. Then?with just a dash of high school math?you?ll tie a rope around the Earth, match... more...

  • Proper and Improper Forcingby Saharon Shelah

    Cambridge University Press 2017; US$ 156.00

    This book presents the theory of proper forcing and its relatives from the beginning. No prior knowledge of forcing is required. more...

  • Fundamental Approaches to Software Engineeringby Marieke Huisman; Julia Rubin

    Springer Berlin Heidelberg 2017; US$ 61.14

    This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 23 papers presented in this volume were carefully reviewed and... more...

  • The Square of Opposition: A Cornerstone of Thoughtby Jean-Yves Béziau; Gianfranco Basti

    Springer International Publishing 2017; US$ 64.36

    This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.   The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of... more...

  • Category Theory in Contextby Emily Riehl

    Dover Publications 2017; US$ 29.95

    Category theory has provided the foundations for many of the twentieth century's greatest advances in pure mathematics. This concise, original text for a one-semester course on the subject is derived from courses that author Emily Riehl taught at Harvard and Johns Hopkins Universities. The treatment introduces the essential concepts of category theory:... more...

  • Provably Correct Systemsby Mike Hinchey; Jonathan P. Bowen; Ernst-Rüdiger Olderog

    Springer International Publishing 2017; US$ 96.55

    As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary... more...

  • Rohit Parikh on Logic, Language and Societyby Can Baskent; Lawrence S. Moss; Ramaswamy Ramanujam

    Springer International Publishing 2017; US$ 93.33

    This book discusses major milestones in Rohit Jivanlal Parikh?s scholarly work. Highlighting the transition in Parikh?s interest from formal languages to natural languages, and how he approached Wittgenstein?s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. ... more...

  • Die Gödel'schen Unvollständigkeitssätzeby Dirk W. Hoffmann

    Springer Berlin Heidelberg 2017; US$ 18.02

    Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I . In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels... more...

  • Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answeringby Jeff Z. Pan; Diego Calvanese; Thomas Eiter; Ian Horrocks; Michael Kifer; Fangzhen Lin; Yuting Zhao

    Springer International Publishing 2017; US$ 53.63

    This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016. In 2016, the theme of the school was ?Logical Foundation of Knowledge Graph Construction and Query Answering?. The notion of knowledge graph has become popular since Google started to use it to improve its search engine... more...