Rakuten Kobo

Shopping Cart

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

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

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

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

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

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

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

PHP775.49

**"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
La matematica come resistenza

by Albert Lautman ...

Translated by Mario Castellana ...

Albert Lautman traccia in questi tre testi minori, scritti in occasione dei due Congrès de philosophie scientifique (1935 e 1937) e due dei quali tradotti per la prima volta in italiano, le linee di un percorso di ricerca imperniato sulla necessità di una filosofia della scienza, e in particolar modo di una filosofia della matematica diversa, se non alternativa, a quella che stava per diventare la ... Read more

PHP416.99

Albert Lautman traccia in questi tre testi minori, scritti in occasione dei due Congrès de philosophie scientifique (1935 e 1937) e due dei quali tradotti per la prima volta in italiano, le linee di un percorso di ricerca imperniato sulla necessità di una filosofia della scienza, e in particolar modo di una filosofia della matematica diversa, se non alternativa, a quella che stava per diventare la
... Read more
British Logic in the Nineteenth Century

Edited by Dov M. Gabbay, John Woods ...

Series Book 4 - Handbook of the History of Logic
The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for ... Read more

PHP14,480.09

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for
... Read more
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural

by Kemel George ...

El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica.El libro se encuentra escrito para los estudiantes de educación media y superior, los docentes y todo profesional sin distingo alguno. Enfocado en el ámbito del sistema de la ... Read more

PHP359.00 or Free with Kobo Plus

El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica.El libro se encuentra escrito para los estudiantes de educación media y superior, los docentes y todo profesional sin distingo alguno. Enfocado en el ámbito del sistema de la
... Read more
Symbolic Logic

by Lewis Carroll ...

A clear and engaging introduction to the art of deductive reasoning, designed to make the complexities of logic accessible to every reader. Through a series of interactive challenges and elegant explanations, the author demonstrates the beauty of a well-ordered mind. It is a vital resource for anyone seeking to improve their cognitive clarity while enjoying the satisfaction of solving intricate ... Read more

PHP123.20 or Free with Kobo Plus

A clear and engaging introduction to the art of deductive reasoning, designed to make the complexities of logic accessible to every reader. Through a series of interactive challenges and elegant explanations, the author demonstrates the beauty of a well-ordered mind. It is a vital resource for anyone seeking to improve their cognitive clarity while enjoying the satisfaction of solving intricate
... Read more
Objects, Structures, and Logics

FilMat Studies in the Philosophy of Mathematics

Edited by Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo ...

Series series Mathematics and Statistics (R0)
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, ... Read more

PHP9,041.89

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth,
... Read more
O-Minimality and Diophantine Geometry

Edited by G. O. Jones, A. J. Wilkie ...

Series Book 421 - London Mathematical Society Lecture Note Series
This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila–Wilkie theorem, bounds on Galois orbits, and functional transcendence results. All of these topics are covered in this volume, making it ideal ... Read more

PHP4,293.49

This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila–Wilkie theorem, bounds on Galois orbits, and functional transcendence results. All of these topics are covered in this volume, making it ideal
... Read more
Gnomes in the Fog

The Reception of Brouwer’s Intuitionism in the 1920s

by Dennis E. Hesseling ...

Series series Mathematics and Statistics (R0)
The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of mathematicians and philosophers. A period in the history of mathematics when mathematics and philosophy, usually so far away from each other, seemed to meet. The foundational debate is presented with all its brilliant contributions and its shortcomings, its new ideas ... Read more

PHP5,812.49

The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of mathematicians and philosophers. A period in the history of mathematics when mathematics and philosophy, usually so far away from each other, seemed to meet. The foundational debate is presented with all its brilliant contributions and its shortcomings, its new ideas
... Read more
Logic and Philosophy of Mathematics in the Early Husserl

by Stefania Centrone ...

Series series Philosophy and Religion (R0)
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from ... Read more

PHP5,812.49

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from
... Read more
Eliminating The Universe: Logical Properties Of Natural Language

by Edward L Keenan ...

This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories — ... Read more

PHP3,880.69

This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories —
... Read more
Quantum-like Networks

An Approach to Neural Behavior through their Mathematics and Logic

by Stephen A Selesnick ...

Do brains compute? If they do, what do they compute and how do they do it? The first part of the book introduces the development of a model that simulates actual biological neurons more closely than do current standard models of neural networks, as well as the deduction of its physics-like and computational properties from first principles. The second part presents a collection of applications of ... Read more

PHP5,211.29

Do brains compute? If they do, what do they compute and how do they do it? The first part of the book introduces the development of a model that simulates actual biological neurons more closely than do current standard models of neural networks, as well as the deduction of its physics-like and computational properties from first principles. The second part presents a collection of applications of
... Read more
Immanent Reasoning or Equality in Action

A Plaidoyer for the Play Level

by Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout ...

Series series Philosophy and Religion (R0)
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion.One of the chief ideas animating this study is that the ... Read more

PHP3,228.89

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion.One of the chief ideas animating this study is that the
... Read more
Recent Developments in the Philosophy of Science: EPSA13 Helsinki

Edited by Ioannis Votsis, Stéphanie Ruphy, Gerhard Schurz, Uskali Mäki ...

Series series Philosophy and Religion (R0)
This volume showcases the best of recent research in the philosophy of science. A compilation of papers presented at the EPSA 13, it explores a broad distribution of topics such as causation, truthlikeness, scientific representation, gender-specific medicine, laws of nature, science funding and the wisdom of crowds.Papers are organised into headings which form the structure of the book. Readers ... Read more

PHP5,812.49

This volume showcases the best of recent research in the philosophy of science. A compilation of papers presented at the EPSA 13, it explores a broad distribution of topics such as causation, truthlikeness, scientific representation, gender-specific medicine, laws of nature, science funding and the wisdom of crowds.Papers are organised into headings which form the structure of the book. Readers
... Read more
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Edited by Phillip James, Markus Roggenbach ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Read more

PHP3,228.89

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Read more
Logic for Kids

All Aboard the Therefore Train!

by Arnold Cusmariu ...

Logic for Kids is intended to help parents take charge of the intellectual development of their children in a critical area: the acquisition of skills related to logical reasoning. Many other books, including math and science books, fail to treat logic as a subject in its own right, provide no special instruction, and expect students to figure out logic on their own. Without the corrective ... Read more

PHP3,076.84

Logic for Kids is intended to help parents take charge of the intellectual development of their children in a critical area: the acquisition of skills related to logical reasoning. Many other books, including math and science books, fail to treat logic as a subject in its own right, provide no special instruction, and expect students to figure out logic on their own. Without the corrective
... Read more
Effective Metric Structure Theory

by Johanna N. Y. Franklin, Isaac Goldbring, Timothy H. McNicholl ...

Series series Mathematics and Statistics (R0)
This monograph introduces the reader to the increasingly popular topic of computable metric structure theory, a subject which unifies methods from effective analysis and computable algebra into one coherent framework. Computable structure theory had been constrained to the algebraic and discrete realms, but in the past 10 years or so, much work has been done in extending this topic to structures ... Read more

PHP9,687.79

This monograph introduces the reader to the increasingly popular topic of computable metric structure theory, a subject which unifies methods from effective analysis and computable algebra into one coherent framework. Computable structure theory had been constrained to the algebraic and discrete realms, but in the past 10 years or so, much work has been done in extending this topic to structures
... Read more
Basic Real Analysis

by Houshang H. Sohrab ...

This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language.The textis a comprehensive and largely self-contained introduction to the theory of real-valued functions of a real variable. The chapters on Lebesgue measure and integral have been rewritten ... Read more

PHP3,680.99

This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language.The textis a comprehensive and largely self-contained introduction to the theory of real-valued functions of a real variable. The chapters on Lebesgue measure and integral have been rewritten
... Read more
Recursive Functions and Metamathematics

Problems of Completeness and Decidability, Gödel’s Theorems

by Roman Murawski ...

Series Book 286 - Synthese Library
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical ... Read more

PHP9,687.79

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical
... Read more
Logic: a Brief Course

by Daniele Mundici ...

Series series Mathematics and Statistics (R0)
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts ... Read more

PHP3,228.89

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts
... Read more
The Mathematics of Coordinated Inference

A Study of Generalized Hat Problems

by Christopher S. Hardin, Alan D. Taylor ...

Series series Mathematics and Statistics (R0)
Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and they both go free if at least one of them guesses correctly. While no communication is allowed once the hats have been placed, they will, however, ... Read more

PHP3,228.89

Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and they both go free if at least one of them guesses correctly. While no communication is allowed once the hats have been placed, they will, however,
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Logic eBooks

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

How to Bake Pi

Advances in Proof-Theoretic Semantics

Alan M. Turing

Descartes' Error

La matematica come resistenza

British Logic in the Nineteenth Century

El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural

Symbolic Logic

Objects, Structures, and Logics

O-Minimality and Diophantine Geometry

Gnomes in the Fog

Logic and Philosophy of Mathematics in the Early Husserl

Eliminating The Universe: Logical Properties Of Natural Language

Quantum-like Networks

Immanent Reasoning or Equality in Action

Recent Developments in the Philosophy of Science: EPSA13 Helsinki

Recent Trends in Algebraic Development Techniques

Logic for Kids

Effective Metric Structure Theory

Basic Real Analysis

Recursive Functions and Metamathematics

Logic: a Brief Course

The Mathematics of Coordinated Inference