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

PHP290.88

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
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,003.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

PHP736.59

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

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

by Robert Ackermann ...

Series series Routledge Library Editions: Logic
Originally published in 1966. An introduction to current studies of kinds of inference in which validity cannot be determined by ordinary deductive models. In particular, inductive inference, predictive inference, statistical inference, and decision making are examined in some detail. The last chapter discusses the relationship of these forms of inference to philosophical notions of rationality ... Read more

PHP2,914.03

Originally published in 1966. An introduction to current studies of kinds of inference in which validity cannot be determined by ordinary deductive models. In particular, inductive inference, predictive inference, statistical inference, and decision making are examined in some detail. The last chapter discusses the relationship of these forms of inference to philosophical notions of rationality
... Read more
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

by Mauro Di Nasso, Isaac Goldbring, Martino Lupini ...

Series series Mathematics and Statistics (R0)
The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general ... Read more

PHP3,116.19

The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general
... Read more
Logic with a Probability Semantics

by Theodore Hailperin ...

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to ... Read more

PHP4,558.69

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to
... Read more
How To Measure The Infinite: Mathematics With Infinite And Infinitesimal Numbers

by Vieri Benci, Mauro Di Nasso ...

'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.'CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The ... Read more

PHP4,931.59

'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.'CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The
... Read more
The Rohonc Code

Tracing a Historical Riddle

by Benedek Láng ...

Translated by Benedek Láng, Teodóra Király, Nick Palmer ...

First discovered in a Hungarian library in 1838, the Rohonc Codex keeps privileged company with some of the most famous unsolved writing systems in the world, notably the Voynich manuscript, the Phaistos Disk, and Linear A. Written entirely in cipher, this 400-year-old, 450-page-long, richly illustrated manuscript initially gained considerable attention but was later dismissed as an apparent ... Read more

PHP1,190.09

First discovered in a Hungarian library in 1838, the Rohonc Codex keeps privileged company with some of the most famous unsolved writing systems in the world, notably the Voynich manuscript, the Phaistos Disk, and Linear A. Written entirely in cipher, this 400-year-old, 450-page-long, richly illustrated manuscript initially gained considerable attention but was later dismissed as an apparent
... Read more
Ludwig Wittgenstein: Dictating Philosophy

To Francis Skinner – The Wittgenstein-Skinner Manuscripts

by Ludwig Wittgenstein, Francis Skinner ...

Series series Philosophy and Religion (R0)
In this volume we witness Wittgenstein in the act of composing and experimenting with his new visions in philosophy. The book includes key explanations of the origin and background of these previously unknown manuscripts. It investigates how Wittgenstein’s philosophical thought-processes are revealed in his dictation to, as well as his editing and revision with Francis Skinner, in the latter’s ... Read more

PHP2,804.59

In this volume we witness Wittgenstein in the act of composing and experimenting with his new visions in philosophy. The book includes key explanations of the origin and background of these previously unknown manuscripts. It investigates how Wittgenstein’s philosophical thought-processes are revealed in his dictation to, as well as his editing and revision with Francis Skinner, in the latter’s
... Read more
Combinatorial Set Theory

With a Gentle Introduction to Forcing

by Lorenz J. Halbeisen ...

Series series Mathematics and Statistics (R0)
This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent ... Read more

PHP9,349.89

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent
... Read more
Kripke’s Worlds

An Introduction to Modal Logics via Tableaux

by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber ...

Series series Mathematics and Statistics (R0)
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, ... Read more

PHP5,297.99

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional,
... Read more
Introduction to Modern Cryptography

by Jonathan Katz, Yehuda Lindell ...

Series series Chapman & Hall/CRC Cryptography and Network Security Series
Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises. The authors present the core principles of modern cryptography, with emphasis on formal definitions, rigorous proofs of security. ... Read more

PHP8,743.83

Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises. The authors present the core principles of modern cryptography, with emphasis on formal definitions, rigorous proofs of security.
... Read more
The Mathematics of Paul Erdős II

Edited by Jaroslav Nešetřil, Steve Butler, Ronald L. Graham ...

Series series Mathematics and Statistics (R0)
This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdős' research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 1000 pages, arranged into two volumes. ... Read more

PHP14,275.09

This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdős' research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 1000 pages, arranged into two volumes.
... Read more
A Course on Mathematical Logic

by Shashi Mohan Srivastava ...

Series series Mathematics and Statistics (R0)
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to ... Read more

PHP4,051.29

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to
... Read more
Scientific Philosophy

by Gustavo E. Romero ...

Series series Physics and Astronomy (R0)
This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work. The approach is not historical but formative: tools for semantical analysis, ontology of science, epistemology, and scientific ethics are presented in a formal and direct way.The book has two parts: one with the general theory and a second part ... Read more

PHP4,986.29

This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work. The approach is not historical but formative: tools for semantical analysis, ontology of science, epistemology, and scientific ethics are presented in a formal and direct way.The book has two parts: one with the general theory and a second part
... Read more
Discrete Mathematics and Graph Theory

A Concise Study Companion and Guide

by K. Erciyes ...

Series series Computer Science (R0)
This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before. It can also be used as a reference book for a course on Discrete Mathematics in Computer Science or Mathematics curricula.The study of discrete mathematics is ... Read more

PHP2,181.19

This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before. It can also be used as a reference book for a course on Discrete Mathematics in Computer Science or Mathematics curricula.The study of discrete mathematics is
... Read more
Belief Revision in Non-Classical Logics

by Márcio Moretto Ribeiro ...

Series series Computer Science (R0)
Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of ... Read more

PHP3,116.19

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of
... Read more
A Protocol-theoretic Framework for the Logic of Epistemic Norms

by Ralph Jenkins ...

Series series Philosophy and Religion (R0)
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic ... Read more

PHP5,609.69

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic
... Read more
The Rise of Modern Logic: from Leibniz to Frege

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

Series Book 3 - Handbook of the History of Logic
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware ... Read more

PHP15,284.69

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware
... Read more
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

PHP4,986.29

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
Canonical Ramsey Theory on Polish Spaces

by Vladimir Kanovei, Marcin Sabok, Jindřich Zapletal ...

Series Book 202 - Cambridge Tracts in Mathematics
This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has ... Read more

PHP7,600.19

This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has
... Read more
Nonclassical Logics and Their Applications

Post-proceedings of the 8th International Workshop on Logic and Cognition

Edited by Shier Ju, Alessandra Palmigiano, Minghui Ma ...

Series series Springer Nature Proceedings excluding Computer Science
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity ... Read more

PHP5,609.69

This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity
... 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

Alan M. Turing

Descartes' Error

Advances in Proof-Theoretic Semantics

How to Bake Pi

Nondeductive Inference

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Logic with a Probability Semantics

How To Measure The Infinite: Mathematics With Infinite And Infinitesimal Numbers

The Rohonc Code

Ludwig Wittgenstein: Dictating Philosophy

Combinatorial Set Theory

Kripke’s Worlds

Introduction to Modern Cryptography

The Mathematics of Paul Erdős II

A Course on Mathematical Logic

Scientific Philosophy

Discrete Mathematics and Graph Theory

Belief Revision in Non-Classical Logics

A Protocol-theoretic Framework for the Logic of Epistemic Norms

The Rise of Modern Logic: from Leibniz to Frege

Reasoning Web. Declarative Artificial Intelligence

Canonical Ramsey Theory on Polish Spaces

Nonclassical Logics and Their Applications