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

New Research Frontiers

Edited by Michael Heller, W. Hugh Woodin ...

This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world-renowned researchers in the fields of mathematics, physics, cosmology, philosophy and theology offer a rich ... Read more

PHP3,384.29

This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world-renowned researchers in the fields of mathematics, physics, cosmology, philosophy and theology offer a rich
... Read more
New Horizons For Second-order Cybernetics

by Alexander Riegler, Karl H Muller, Stuart A Umpleby ...

Series Book 60 - Series On Knots And Everything
In almost 60 articles this book reviews the current state of second-order cybernetics and investigates which new research methods second-order cybernetics can offer to tackle wicked problems in science and in society. The contributions explore its application to both scientific fields (such as mathematics, psychology and consciousness research) and non-scientific ones (such as design theory and ... Read more

PHP2,769.19

In almost 60 articles this book reviews the current state of second-order cybernetics and investigates which new research methods second-order cybernetics can offer to tackle wicked problems in science and in society. The contributions explore its application to both scientific fields (such as mathematics, psychology and consciousness research) and non-scientific ones (such as design theory and
... Read more
Logic Made Easy

How to Know When Language Deceives You

by Deborah J. Bennett ...

"The best introduction to logic you will find."—Martin Gardner"Professor Bennett entertains as she instructs," writes Publishers Weekly about the penetrating yet practical Logic Made Easy. This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic ... Read more

PHP714.09

"The best introduction to logic you will find."—Martin Gardner"Professor Bennett entertains as she instructs," writes Publishers Weekly about the penetrating yet practical Logic Made Easy. This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic
... Read more
Intuitionistic Fuzzy Logics

by Krassimir T. Atanassov ...

Series series Engineering (R0)
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a ... Read more

PHP5,812.49

The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a
... Read more
Founding Mathematics on Semantic Conventions

by Casper Storm Hansen ...

Series series Mathematics and Statistics (R0)
This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language – and specifically, the ability to institute conventions for the truth conditions of sentences.This philosophical stance leads to an alternative way of practicing mathematics: instead of “building” objects out of ... Read more

PHP6,458.39

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language – and specifically, the ability to institute conventions for the truth conditions of sentences.This philosophical stance leads to an alternative way of practicing mathematics: instead of “building” objects out of
... Read more
Forcing, Iterated Ultrapowers, And Turing Degrees

by Chitat Chong, W Hugh Woodin, Theodore A Slaman, Yue Yang, Qi Feng ...

Series Book 29 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research ... Read more

PHP1,995.79

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research
... Read more
Mathematical Logic, Computability, Complexity, and Randomness

Proceedings of the 16th Asian Logic Conference and 14th International Conference on Computability, Complexity, and Randomness

by Joerg Brendle, Rod Downey, Sergey S Goncharov, Manat Mustafa, Guohua Wu ...

This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and ... Read more

PHP4,324.29

This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and
... Read more
Relation Algebras by Games

by Robin Hirsch, Ian Hodkinson ...

Series Book 147 - Studies in Logic and the Foundations of Mathematics
Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit ... Read more

PHP10,726.19

Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit
... Read more
The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

by Johan van Benthem ...

Series series Philosophy and Religion (R0)
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the ... Read more

PHP6,458.39

That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the
... Read more
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

by Mark van Atten ...

Series series Philosophy and Religion (R0)
This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage.The book is organised around Gödel's use of ... Read more

PHP8,395.99

This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage.The book is organised around Gödel's use of
... Read more
Foundational Theories of Classical and Constructive Mathematics

Edited by Giovanni Sommaruga ...

Series series Mathematics and Statistics (R0)
The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational ... Read more

PHP5,812.49

The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational
... Read more
Cartesian Cubical Model Categories

by Steve Awodey ...

Series series Mathematics and Statistics (R0)
This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theory. The celebrated univalence axiom of Voevodsky plays a key role in establishing the basic laws of a ... Read more

PHP4,197.69

This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theory. The celebrated univalence axiom of Voevodsky plays a key role in establishing the basic laws of a
... Read more
La buona logica

Imparare a pensare

by Paolo Legrenzi, Armando Massarenti ...

Si parla sempre più spesso dell’importanza di imparare a pensare, cioè a ragionare in modo corretto per risolvere problemi anche semplici ma non intuitivi. È questa la condizione che rende davvero “buona” la scuola, perché consente di trasmettere non solo conoscenze ma anche strategie, che funzionano indipendentemente dai contenuti e sono dunque applicabili a contesti diversi. L’obiettivo degli ... Read more

PHP505.99

Si parla sempre più spesso dell’importanza di imparare a pensare, cioè a ragionare in modo corretto per risolvere problemi anche semplici ma non intuitivi. È questa la condizione che rende davvero “buona” la scuola, perché consente di trasmettere non solo conoscenze ma anche strategie, che funzionano indipendentemente dai contenuti e sono dunque applicabili a contesti diversi. L’obiettivo degli
... Read more
Combinatorial Set Theory

With a Gentle Introduction to Forcing

by Lorenz J. Halbeisen ...

Series series Mathematics and Statistics (R0)
This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated technique of forcing, originally developed by Paul Cohen, is explained in great detail. ... Read more

PHP8,395.99

This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated technique of forcing, originally developed by Paul Cohen, is explained in great detail.
... Read more
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods

FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions

Edited by Alexander Martsinkovsky ...

Series series Springer Nature Proceedings excluding Computer Science
This volume comprises selected contributions by the participants of the second "Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods" conference, which took place at the University of Almería, Spain, in July 2022.The conference was devoted to several seemingly unrelated fields: functor categories, model theory of modules, algebraic analysis (including linear control ... Read more

PHP12,271.39

This volume comprises selected contributions by the participants of the second "Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods" conference, which took place at the University of Almería, Spain, in July 2022.The conference was devoted to several seemingly unrelated fields: functor categories, model theory of modules, algebraic analysis (including linear control
... Read more
Dick de Jongh on Intuitionistic and Provability Logics

Edited by Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang ...

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

PHP9,041.89

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
Pinocchio nel paese dei paradossi. Viaggio tra le contraddizioni della logica

by Alessio Palmero Aprosio ...

Pinocchio rivive le sue avventure sullo sfondo di nuovi paesaggi paradossali. Il più celebre burattino di tutti i tempi si troverà di fronte al dilemma del coccodrillo, al paradosso del mentitore, a quello della nave di Teseo, alla mitica gara tra Achille e la tartaruga e tanti altri: come farà a superare questi nuovi ostacoli? L'immancabile Grillo parlante con la sua proverbiale sapienza spiega ... Read more

PHP426.11

Pinocchio rivive le sue avventure sullo sfondo di nuovi paesaggi paradossali. Il più celebre burattino di tutti i tempi si troverà di fronte al dilemma del coccodrillo, al paradosso del mentitore, a quello della nave di Teseo, alla mitica gara tra Achille e la tartaruga e tanti altri: come farà a superare questi nuovi ostacoli? L'immancabile Grillo parlante con la sua proverbiale sapienza spiega
... Read more
Creating Number

How Humans Developed Natural, Complex, Real and Infinite Numbers

by John Newsome Crossley ...

This book explores one of humanity's most profound intellectual journeys — the creation of numbers themselves. Moving beyond a simple chronological history of mathematics, this book examines the ideas and cultural contexts that gave rise to new kinds of numbers, from the earliest counting systems to ideas of infinitely small and infinitely large numbers. On the way, it looks at how revolutionary ... Read more

PHP4,767.79

This book explores one of humanity's most profound intellectual journeys — the creation of numbers themselves. Moving beyond a simple chronological history of mathematics, this book examines the ideas and cultural contexts that gave rise to new kinds of numbers, from the earliest counting systems to ideas of infinitely small and infinitely large numbers. On the way, it looks at how revolutionary
... Read more
Notes On Forcing Axioms

by Stevo Todorcevic, Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang ...

Series Book 26 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via ... Read more

PHP1,663.19

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via
... 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

Descartes' Error

Alan M. Turing

Advances in Proof-Theoretic Semantics

Infinity

New Horizons For Second-order Cybernetics

Logic Made Easy

Intuitionistic Fuzzy Logics

Founding Mathematics on Semantic Conventions

Forcing, Iterated Ultrapowers, And Turing Degrees

Mathematical Logic, Computability, Complexity, and Randomness

Relation Algebras by Games

The Logic of Time

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Foundational Theories of Classical and Constructive Mathematics

Cartesian Cubical Model Categories

La buona logica

Combinatorial Set Theory

Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods

Dick de Jongh on Intuitionistic and Provability Logics

Pinocchio nel paese dei paradossi. Viaggio tra le contraddizioni della logica

Creating Number

Notes On Forcing Axioms