Skip to main content
Search Button
Philippines Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

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 1180 Results
Skip side bar filters

  • Build a Mathematical Mind - Even If You Think You Can't Have One

    by Albert Rutherford ...
    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

  • Alan M. Turing

    Centenary Edition

    by Sara Turing, John Turing ...
    '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

  • 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

    PHP680.69

  • Advances in Proof-Theoretic Semantics

    Edited by Thomas Piecha, Peter Schroeder-Heister ...
    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

    by Antonio Damasio ...
    **"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

    PHP808.09

  • Mathematische Logik

    by Martin Ziegler ...
    Series series Life Science and Basic Disciplines (German Language)
    Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der ... Read more

    PHP1,146.09

  • В сути вещей

    by Владимир Булыгин ...
    Что должен? Идтить к землям доселе неизведанным, …ибо живу. Знать, что еще не ведомо, … ибо мыслю. А хочу-то что? Да, то же! Прикоснуться к тайне творения, потому что живу и мыслю.И поэтому вопросы. …Стоит ли думать об основах математики не математику? А математику о философии? Или физику о биологии? … Стоит. ... Read more

    PHP123.20

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Series series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

    PHP5,812.49

  • Reasoning Web. Declarative Artificial Intelligence

    17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures

    Edited by Mantas Šimkus, Ivan Varzinczak ...
    Series series Computer Science (R0)
    The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school ... Read more

    PHP5,166.59

  • Giochiamo con i numeri

    by Massimiliano Ambrosino ...
    Non un libro di regole né un eserciziario. Semplicemente un libro di lettura per scoprire e riflettere su quanto e come le comuni operazioni aritmetiche, e più in generale il pensiero matematico, regolino il funzionamento di alcuni giochi molto conosciuti e di semplice esecuzione. Un tentativo per incuriosire studenti ed appassionati su qualche aspetto ludico della matematica. Un modo per capire ... Read more

    PHP245.78 or Free with Kobo Plus

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

    Volume I: Set Theory

    by Douglas Cenzer, Christopher Porter, Jindřich Zapletal ...
    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

  • Godel's Theorem in Focus

    Edited by S.G. Shanker ...
    Series series Philosophers in Focus
    A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms. ... Read more

    PHP4,126.47

  • Meaning, Quantification, Necessity

    Themes in Philosophical Logic

    by Martin Davies ...
    Series series Routledge Library Editions: Logic
    Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic.The first part of the book is concerned with the nature of the ... Read more

    PHP3,202.50

  • Mathematical Logic

    by Joseph R. Shoenfield ...
    This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and ... Read more

    Was PHP4,372.86 Now PHP3,880.08

  • New Directions of Modern Cryptography

    by Zhenfu Cao ...
    Modern cryptography has evolved dramatically since the 1970s. With the rise of new network architectures and services, the field encompasses much more than traditional communication where each side is of a single user. It also covers emerging communication where at least one side is of multiple users. New Directions of Modern Cryptography presents ... Read more

    PHP4,804.05

  • Introduction to Symbolic Logic and Its Applications

    by Rudolf Carnap ...
    This book is one of the clearest, most comprehensive and rigorous introductions to modern symbolic logic available in any language. Professor Carnap, a world authority on symbolic logic, develops the subject from elementary concepts and simple exercises through the construction and analysis of a number of relatively complex logical languages. He then considers, in great detail, the application of ... Read more

    PHP709.09

  • Logic and Its Applications

    10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

    Edited by Mohua Banerjee, A. V. Sreejith ...
    Series series Springer Nature Proceedings Computer Science
    Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These ... Read more

    PHP4,197.69

  • Lectures on the Curry-Howard Isomorphism

    by Morten Heine Sørensen, Pawel Urzyczyn ...
    Series Book 149 - Studies in Logic and the Foundations of Mathematics
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to ... Read more

    PHP9,228.49

  • Philosophical Logic

    A Contemporary Introduction

    by John MacFarlane ...
    Series series Routledge Contemporary Introductions to Philosophy
    Introductory logic is generally taught as a straightforward technical discipline. In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who already has completed an introductory logic course.The book explores the following ... Read more

    PHP3,572.09

  • Programs as Diagrams

    From Categorical Computability to Computable Categories

    by Dusko Pavlovic ...
    Series series Computer Science (R0)
    It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers ... Read more

    PHP4,197.69

  • The Palintrope

    by Ehsan Mansoorian ...
    There are epochs when silence becomes impossible — not because the world grows quiet, but because its noise demands interpretation. The Palintrope belongs to such a moment. It is a philosophical dialogue in seven days, set in a timeless 1920s-style café in Königsberg where the dead and the living, the East and the West, the geometers and the mystics, gather around the same table. Kant presides. ... Read more

    PHP1,231.97

  • 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

    PHP9,041.89

  • God and Abstract Objects

    The Coherence of Theism: Aseity

    by William Lane Craig ...
    Series series Philosophy and Religion (R0)
    This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic ... Read more

    PHP9,687.79

  • Zur Philosophie der Mathematik

    Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze

    by Alexander George, Daniel J. Velleman ...
    Translated by Thomas Bedürftig, Deborah Kant ...
    Series series Life Science and Basic Disciplines (German Language)
    Dieses Buch blickt in eine bedeutende Epoche der Philosophie der Mathematik zurück, deren Strömungen die heutige Gestalt der Mathematik prägten.In der Wende vom 19. zum 20. Jahrhundert befand sich die Mathematik in einem fundamentalen Umbruch, der die Mathematiker dieser Zeit herausforderte. Sie mussten Stellung beziehen. Die Grundsätze und Wege der philosophischen Richtungen, die dieses Buch ... Read more

    PHP1,810.49