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

  • Modern Logic 1850-1950, East and Westby Francine F. Abeles; Mark E. Fuller

    Springer International Publishing 2016; US$ 46.12

    This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic... more...

  • The Argument of Mathematicsby Andrew Aberdein; Ian J. Dove

    Springer Netherlands 2013; US$ 139.46

    This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification. more...

  • Dependence Logicby Samson Abramsky; Juha Kontinen; Jouko Väänänen; Heribert Vollmer

    Springer International Publishing 2016; US$ 91.18

    In this volume, different aspects of logics for dependence and independence are discussed, including both the  logical and computational aspects of dependence logic, and also applications  in a number of areas, such as statistics, social choice theory, databases, and computer security.  The contributing authors represent leading experts... more...

  • Logicaby Vito Michele Abrusci; Lorenzo Tortora de Falco

    Springer Milan 2014; US$ 18.02

    Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello. Questo primo volume è dedicato... more...

  • Fundamental Approach to Discrete Mathematicsby D.P. Acharjya; Sreekumar

    New Age International Pvt. Ltd., Publishers 2009; US$ 40.00

    About the Book: The book `Fundamental Approach to Discrete Mathematics` is a required part of pursuing a computer science degree at most universities. It provides in-depth knowledge to the subject for beginners and stimulates further interest in the topic. The salient features of this book include: Strong coverage of key topics involving recurrence... more...

  • The Beauty of Functional Codeby Peter Achten; Pieter Koopman

    Springer Berlin Heidelberg 2013; US$ 42.90

    This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013. Rinus Plasmeijer was the main designer of the lazy functional programming language "Clean"... more...

  • Computing in Nonlinear Media and Automata Collectivesby Andrew Adamatzky

    CRC Press 2001; US$ 231.00

    Computing in Nonlinear Media and Automata Collectives presents an account of new ways to design massively parallel computing devices in advanced mathematical models, such as cellular automata and lattice swarms, from unconventional materials, including chemical solutions, bio-polymers, and excitable media. more...

  • Locally Presentable and Accessible Categoriesby J. Adamek; J. Rosicky

    Cambridge University Press 1994; US$ 100.00

    The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. more...

  • Logic of Mathematicsby Zofia Adamowicz; Pawel Zbierski

    Wiley 2011; US$ 189.00 US$ 163.80

    A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict... more...

  • AI*IA 2016 Advances in Artificial Intelligenceby Giovanni Adorni; Stefano Cagnoni; Marco Gori; Marco Maratea

    Springer International Publishing 2016; US$ 69.72

    This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016.  The 39 full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on optimization... more...