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 1170 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

    PHP307.38

  • 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

  • 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 TimesWhat 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

    Was PHP680.69 Now PHP123.20

  • 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,060.79

  • 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

    PHP775.49

  • Clearly: critical thinking

    by cookiejar ...
    Unravel the secrets of sharp thinking in a Wiki-style adventure that delves into reasoning and wonky thinking. Navigate your path through a labyrinth of ideas and examples, where every click offers insight. Whether you're a curious explorer or a seasoned thinker, Clearly equips you with the tools to strengthen your decision-making skills and develop the art of clear, coherent thought. Join the fun ... Read more

    PHP553.77

  • Constructive Semantics

    Meaning in Between Phenomenology and Constructivism

    Edited by Christina Weiss ...
    Series series Philosophy and Religion (R0)
    This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics. It addresses one of the central issues in the epistemology and philosophy of mathematics, namely the relationship between phenomenological meaning constitution and constructive semantics. Contributing authors explore deep structural ... Read more

    PHP7,104.19

  • Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic

    Volume I: Set Theory

    This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, mathematical logic, and other mathematical fields, including analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester introductory in set theory, where the ... Read more

    PHP1,579.99

  • Scientific Objectivity and Its Contexts

    Series series Philosophy and Religion (R0)
    The first part of this book is of an epistemological nature and develops an original theory of scientific objectivity, understood in a weak sense (as intersubjective agreement among the specialists) and a strong sense (as having precise concrete referents). In both cases it relies upon the adoption of operational criteria designed within the particular perspective under which any single science ... Read more

    PHP5,812.49

  • Discrete Mathematics

    A Concise Introduction

    Series series Synthesis Collection of Technology (R0)
    This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics. “Safe” – that is, paradox-free – informal set theory is ... Read more

    PHP2,905.89

  • The Philosophy Of Mathematics

    by Auguste Comte ...
    The philosophy of mathematics by the French philosopher,Auguste Comte.He is sometimes regarded as the first philosopher of science in the modern sense of the term.The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and ... Read more

    PHP184.18

  • Monoidal Topology

    A Categorical Approach to Order, Metric, and Topology

    Series Book 153 - Encyclopedia of Mathematics and its Applications
    Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces' in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafilter convergence with Lawvere's interpretation of metric spaces as small categories enriched over the extended real half ... Read more

    PHP10,152.69

  • Essere Sei

    Anche gli esseri inanimati hanno un’anima. Con il saggio “Il Mistero dell’Esistenza”, e i due romanzi “I Punti di Alef” e “L’uomo di Alef” l’autore ha già mostrato che in realtà, tra i 6 tipi di esseri che sostanziano tutto ciò che vediamo nel nostro universo, non ne esiste nessuno privo di anima. Questo nuovo romanzo completa quel racconto con una storia in cui il protagonista appartiene proprio ... Read more

    PHP122.58 or Free with Kobo Plus

  • Basic Discrete Mathematics: Logic, Set Theory, And Probability

    by Richard Kohar ...
    This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and ... Read more

    PHP3,437.19

  • Synthetic Differential Topology

    Series Book 448 - London Mathematical Society Lecture Note Series
    This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic use of logical infinitesimal objects in it. Beginning with an introduction to those parts of ... Read more

    PHP4,697.49

  • Quantification in Nonclassical Logic

    Series Book 153 - Studies in Logic and the Foundations of Mathematics
    Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last century the tools becamehighly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many ... Read more

    PHP12,603.19

  • The Mathematical and Philosophical Legacy of Alexander Grothendieck

    Series series Mathematics and Statistics (R0)
    Alexander Grothendieck is often considered one of the greatest mathematicians of the twentieth century (if not all time), and his unique vision continues to impact and inspire many fields and researchers today. Utilizing a multidisciplinary approach, this edited volume explores the profound influence his work and ideas have had not only on mathematics, but also on logic and philosophy. Chapters ... Read more

    PHP16,082.79

  • El tercer lunes de enero es el más triste del año

    Matemáticas & fake news

    by Claudi Alsina ...
    Series series ARIEL
    Una auténtica cruzada matemática contra el mal de la falsedad.Claudi Alsina nos ofrece herramientas para defendernos de las malvadas fake news. Mirando con sentido común, con lógica, con números y con tantos por ciento, podemos desenmascarar las mentiras y combatir la desinformación. Las matemáticas pueden ayudarnos a ser más críticos y a no creer todo lo que se nos presenta como verdad. En un ... Read more

    PHP719.00

  • Games, Norms and Reasons

    Logic at the Crossroads

    Series series Philosophy and Religion (R0)
    Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic ... Read more

    PHP5,812.49

  • Lectures on Inductive Logic

    Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has applications to decision making and artificial intelligence, as well as how scientists should reason ... Read more

    PHP5,266.19

  • Principles of Formal Quantitative Analysis

    Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday

    Series series Computer Science (R0)
    This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor ... Read more

    PHP4,714.39

  • Magic Garden Of George B And Other Logic Puzzles, The

    Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution — moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story.This book leads the unwary ... Read more

    PHP874.89

  • The Incomputable

    Journeys Beyond the Turing Barrier

    Series series Computer Science (R0)
    This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book ... Read more

    PHP7,750.09

  • Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems

    Series series Emerging Methodologies and Applications in Modelling, Identification and Control
    Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems: Command Filtered Backstepping offers a new design solution for students, researchers, and engineers working on distributed cooperative control problems for nonlinear multi-agent systems. The book is structured around six key topics, focusing on command filtered backstepping-based distributed adaptive consensus control. By ... Read more

    PHP13,139.29