Skip to main content

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...

Logic eBooks

If you like Logic eBooks, then you'll love these top picks.
Showing 1 - 24 of 1168 Results
Skip side bar filters
  • Build a Mathematical Mind - Even If You Think You Can't Have One

    Would you like to be a proficient mathematician… without using numbers?There is so much more to math than geometry and calculus! It is present in almost every life aspect, from improving your communication skills to how to fit your luggage into your car.Did you always hate math because you couldn't understand complex formulas?Don't let a few equations or a bad teacher deter you from building a ... Read more

    PHP290.88

  • Advances in Proof-Theoretic Semantics

    Series series Mathematics and Statistics (R0)
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... Read more

    Free

  • Descartes' Error

    Emotion, Reason, and the Human Brain

    **"An ambitious and meticulous foray into the nature of being." -- The Boston GlobeA landmark exploration of the relationship between emotion and reason**Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain ... Read more

    PHP736.59

  • Alan M. Turing

    Centenary Edition

    'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since ... Read more

    PHP1,003.79

  • How to Bake Pi

    An Edible Exploration of the Mathematics of Mathematics

    by Eugenia Cheng ...
    **One of the world's most creative mathematicians finds the meaning of mathematics in the kitchen  “Whimsical…rigorous and insightful.” —New York Times**What is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered, ... Read more

    PHP644.19

  • Alcuin's Recreational Mathematics

    River Crossings and other Timeless Puzzles

    Propositiones ad acuendos juvenes (“Problems to Sharpen the Young”) is a ninth-century book written by medieval teacher and scholar Alcuin of York. Today, it has become one of the foundational texts in what is commonly called recreational mathematics. The book has been translated in many languages and analysed from various mathematical angles and perspectives, from contemporary arithmetic and ... Read more

    PHP1,835.69

  • Philosophie der Mathematik in der Antike und in der Neuzeit

    Series series Life Science and Basic Disciplines (German Language)
    »Philosophie der Mathematik« wird in diesem Buch verstanden als ein Bemühen um die Klärung solcher Fragen, die die Mathematik selber aufwirft, aber mit ihren eigenen Methoden nicht beantworten kann. Dazu gehören beispielsweise die Fragen nach dem ontologischen Status der mathematischen Objekte (z.B.: was ist die Natur der mathematischen Objekte?) und dem epistemologischen Status der mathematischen ... Read more

    PHP4,077.49

  • The Arts of Truth

    by Rud Istvan ...
    This book is a primer on critical thinking. Without it, the Internet is only a misinformation highway. The dark arts of untruthfulness are ubiquitous in official information. The general techniques used to distort or misrepresent truth are conceptually explored, illustrated by dozens of examples covering a wide range of subjects. Does classroom size reduction improve education? Can tight oil shale ... Read more

    PHP553.29 or Free with Kobo Plus

  • Introduction to Formal Philosophy

    Series series Philosophy and Religion (R0)
    This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas.Throughout, the contributors clarify the relationships ... Read more

    PHP6,233.09

  • Order of operations

    TYSK (Questions and Answers)

    Master the fundamental concept of the order of operations with this comprehensive guide. Whether you're a student looking to improve your math skills or an educator seeking an effective resource, this book is designed to help you understand and apply the order of operations with confidence.Inside This Book:Clear Explanations: Step-by-step breakdown of the order of operations, including parentheses ... Read more

    PHP160.00 or Free with Kobo Plus

  • Handbook of Philosophical Logic

    Volume IV: Topics in the Philosophy of Language

    Series series Philosophy and Religion (R0)
    conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the most well-known approaches to mass terms and the ontological proposals related to them. In addition to quantification and predication, matters of reference have constituted the other overriding theme ... Read more

    PHP3,116.19

  • Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural ... Read more

    PHP3,116.19

  • Logic and Algebraic Structures in Quantum Computing

    Series Book 45 - Lecture Notes in Logic
    Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods ... Read more

    PHP8,556.19

  • Why Do Buses Come in Threes?

    by Rob Eastaway ...
    With a foreword by Tim Rice, this book will change the way you see the world. Why is it better to buy a lottery ticket on a Friday? Why are showers always too hot or too cold? And what's the connection between a rugby player taking a conversion and a tourist trying to get the best photograph of Nelson's Column?These and many other fascinating questions are answered in this entertaining and highly ... Read more

    PHP300.79

  • R-Calculus, II: Many-Valued Logics

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems ... Read more

    PHP8,726.49

  • Reasoning with Attitude

    Foundations and Applications of Inferential Expressivism

    This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Academic and offered as a free PDF download from OUP and selected open access locations. Certain combinations of sounds or signs on paper are meaningful. What makes it the case that, unlike most combinations of sounds or signs, they have meaning? What is this meaning that they have? ... Read more

    PHP5,980.29

  • R-Calculus, VI: Finite Injury Priority Method

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury ... Read more

    PHP8,726.49

  • Cyber Defense Mechanisms

    Security, Privacy, and Challenges

    Series series Artificial Intelligence (AI): Elementary to Advanced Practices
    This book discusses the evolution of security and privacy issues and brings related technological tools, techniques, and solutions into one single source.The book will take readers on a journey to understanding the security issues and possible solutions involving various threats, attacks, and defense mechanisms, which include IoT, cloud computing, Big Data, lightweight cryptography for blockchain, ... Read more

    PHP3,846.70

  • Visual Cryptography and Secret Image Sharing

    Series series Digital Imaging and Computer Vision
    With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a complete introduction to novel security methods and sharing-control mechanisms used to protect against ... Read more

    PHP6,761.31

  • The Semantic Conception of Logic

    Essays on Consequence, Invariance, and Meaning

    Edited by Gil Sagi, Jack Woods ...
    This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central criticisms of the tradition, and especially the use of invariance criteria to explain logicality, ... Read more

    PHP1,672.99

  • Dick de Jongh on Intuitionistic and Provability Logics

    Series series Philosophy and Religion (R0)
    This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh’s original contributions and consequent developments that have helped to shape these fields.The book begins with an autobiographic note by Dick de Jongh, which discusses the main themes of his work and ... Read more

    PHP8,726.49

  • Logic Functions and Equations

    Binary Models for Computer Science

    Series series Computer Science (R0)
    The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods.Updated throughout, some major additions for the 2nd edition ... Read more

    PHP9,973.19

  • The Ultimate Mathematical Challenge

    Over 365 puzzles to test your wits and excite your mind

    ’Be warned: cracking puzzles releases a very addictive drug.’ – Marcus du SautoyHave you ever wanted to be a puzzle pro or logical luminary? Well, look no further!The perfect way to liven up your day, The Ultimate Mathematical Challenge has over 365 puzzles to test your wits and excite your mind. From starter puzzles to perplexing Olympiad problems designed to stretch even the strongest ... Read more

    PHP578.39 or Free with Kobo Plus

  • Fuzzy Logic

    Recent Applications and Developments

    Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate. As such, scientists, researchers, educators and practitioners of fuzzy logic continue to expand on the applicability of what and how fuzzy can be utilised in the real-world. In this book, the authors present key application areas where fuzzy has had ... Read more

    PHP9,349.89