The Leading eBooks Store Online
3,629,807 members ⚫ 1,172,494 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...