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

PHP644.19

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

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
Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

by George G. Szpiro ...

Does the lack of evidence mean that aliens don’t exist? Why does an unproven mathematical hypothesis have profound consequences? Are humans capable of grasping the nature of divinity? Is it ethical to give a patient a placebo? Why do people persist in demonstrably false beliefs like flat earth theory? Should someone want to know when they will die?George G. Szpiro examines these questions and many ... Read more

PHP1,550.09

Does the lack of evidence mean that aliens don’t exist? Why does an unproven mathematical hypothesis have profound consequences? Are humans capable of grasping the nature of divinity? Is it ethical to give a patient a placebo? Why do people persist in demonstrably false beliefs like flat earth theory? Should someone want to know when they will die?George G. Szpiro examines these questions and many
... Read more
Coherence in Three-Dimensional Category Theory

by Nick Gurski ...

Series Book 201 - Cambridge Tracts in Mathematics
Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the ... Read more

PHP7,600.19

Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the
... Read more
Methods of Argumentation

by Douglas Walton ...

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a ... Read more

PHP1,864.19

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a
... Read more
The Logic of Infinity

by Barnaby Sheppard ...

Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical ... Read more

PHP3,345.99

Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical
... Read more
Inductive Logic

by Stephan Hartmann ...

Series Book 10 - Handbook of the History of Logic
Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and ... Read more

PHP14,748.49

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and
... Read more
The Connectives in Logic and Language

4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers

Edited by Jialiang Yan, Mingming Liu, Dag Westerståhl, Xiaolu Yang ...

Series series Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024.The 8 full papers were carefully reviewed and selected from 49 submissions. This workshop also focused on the apparently ... Read more

PHP3,427.89

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024.The 8 full papers were carefully reviewed and selected from 49 submissions. This workshop also focused on the apparently
... 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
Computational Complexity of Solving Equation Systems

by Przemysław Broniek ...

Series series Computer Science (R0)
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, ... Read more

PHP3,116.19

This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far,
... Read more
Model Theory in Algebra, Analysis and Arithmetic

Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori

by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie ...

Series series Mathematics and Statistics (R0)
Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics. ... Read more

PHP3,739.59

Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.
... Read more
Removing Overthinking: How To Process Embrace Negative Emotions

by Connecticut Guitar Society, Inc ...

Overthinking can cause tremendous distress and suffering in our lives. In fact, overthinking is like a magnifying glass for emotional suffering: from anxiety and grief to anger and guilt, overthinking only amplifies painful emotion.Before we dive into strategies to stop overthinking, it’s useful to understand what overthinking actually is, where it comes from, and how best to think about it.This ... Read more

PHP273.39 or Free with Kobo Plus

Overthinking can cause tremendous distress and suffering in our lives. In fact, overthinking is like a magnifying glass for emotional suffering: from anxiety and grief to anger and guilt, overthinking only amplifies painful emotion.Before we dive into strategies to stop overthinking, it’s useful to understand what overthinking actually is, where it comes from, and how best to think about it.This
... Read more
Structures Mères: Semantics, Mathematics, and Cognitive Science

Edited by Alberto Peruzzi, Silvano Zipoli Caiani ...

Series series Philosophy and Religion (R0)
This book reports on cutting-edge concepts related to Bourbaki’s notion of structures mères. It merges perspectives from logic, philosophy, linguistics and cognitive science, suggesting how they can be combined with Bourbaki’s mathematical structuralism in order to solve foundational, ontological and epistemological problems using a novel category-theoretic approach. By offering a comprehensive ... Read more

PHP3,116.19

This book reports on cutting-edge concepts related to Bourbaki’s notion of structures mères. It merges perspectives from logic, philosophy, linguistics and cognitive science, suggesting how they can be combined with Bourbaki’s mathematical structuralism in order to solve foundational, ontological and epistemological problems using a novel category-theoretic approach. By offering a comprehensive
... Read more
Logics for Computer Science

Classical and Non-Classical

by Anita Wasilewska ...

Series series Computer Science (R0)
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach ... Read more

PHP8,103.09

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach
... Read more
Contradictions, from Consistency to Inconsistency

Edited by Walter Carnielli, Jacek Malinowski ...

Series series Mathematics and Statistics (R0)
This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.Most of the papers, but not all, are developed around the subtle ... Read more

PHP6,233.09

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.Most of the papers, but not all, are developed around the subtle
... Read more
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

PHP290.88

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
Formal Techniques for Distributed Objects, Components, and Systems

41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Edited by Kirstin Peters, Tim A. C. Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed ... Read more

PHP3,116.19

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed
... 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

PHP118.55 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
Philosophical Methodology After Carnap

Edited by Darren Bradley ...

Series series Philosophy and Religion (R0)
This book offers an exploration of how Carnap’s legacy informs and challenges current approaches to philosophical methodology. The volume gathers new essays centered on two themes. The first examines language pluralism and its implications for metaphysics: contributors explore whether and how the choice of linguistic framework shapes or constrains metaphysical disputes, and what becomes of ... Read more

PHP6,233.09

This book offers an exploration of how Carnap’s legacy informs and challenges current approaches to philosophical methodology. The volume gathers new essays centered on two themes. The first examines language pluralism and its implications for metaphysics: contributors explore whether and how the choice of linguistic framework shapes or constrains metaphysical disputes, and what becomes of
... Read more
Model Theory of Fields

Lecture Notes in Logic 5, Second Edition

by David Marker, Margit Messmer, Anand Pillay ...

The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory. ... Read more

PHP4,313.04

The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.
... Read more
Verification of Computer Codes in Computational Science and Engineering

by Patrick Knupp, Kambiz Salari ...

Series series Discrete Mathematics and Its Applications
How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one can detect most any coding mistake that would ... Read more

PHP13,115.75

How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one can detect most any coding mistake that would
... 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

Advances in Proof-Theoretic Semantics

How to Bake Pi

Descartes' Error

Ignorance

Coherence in Three-Dimensional Category Theory

Methods of Argumentation

The Logic of Infinity

Inductive Logic

The Connectives in Logic and Language

La matematica come resistenza

Computational Complexity of Solving Equation Systems

Model Theory in Algebra, Analysis and Arithmetic

Removing Overthinking: How To Process Embrace Negative Emotions

Structures Mères: Semantics, Mathematics, and Cognitive Science

Logics for Computer Science

Contradictions, from Consistency to Inconsistency

The Palintrope

Formal Techniques for Distributed Objects, Components, and Systems

Symbolic Logic

Philosophical Methodology After Carnap

Model Theory of Fields

Verification of Computer Codes in Computational Science and Engineering