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

PHP733.89

**"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 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
Attention Vous êtes peut-être le robot d'une IA

Technologie, IA et futur

by Eric Giegelmann ...

Series series Technologie, IA et futur
Et si vous n'étiez pas aussi libre que vous le pensez ?Et si vos choix, vos goûts, vos émotions… étaient déjà influencés – voire contrôlés – par une intelligence artificielle invisible et omniprésente ?Dans un monde où les algorithmes façonnent nos vies, où nos données sont récoltées, analysées, exploitées, une question dérangeante se pose : sommes-nous devenus les robots d'un système que nous ... Read more

PHP116.58

Et si vous n'étiez pas aussi libre que vous le pensez ?Et si vos choix, vos goûts, vos émotions… étaient déjà influencés – voire contrôlés – par une intelligence artificielle invisible et omniprésente ?Dans un monde où les algorithmes façonnent nos vies, où nos données sont récoltées, analysées, exploitées, une question dérangeante se pose : sommes-nous devenus les robots d'un système que nous
... Read more
The Essence of Numbers

by Frédéric Patras ...

Series series Mathematics and Statistics (R0)
This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers. They are treated as epistemic objects: mathematical objects that have been subject to epistemological inquiry and attention throughout their history and whose conception has evolved accordingly. Although they are the simplest and most common mathematical objects, as this book ... Read more

PHP1,644.39

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers. They are treated as epistemic objects: mathematical objects that have been subject to epistemological inquiry and attention throughout their history and whose conception has evolved accordingly. Although they are the simplest and most common mathematical objects, as this book
... Read more
The Development of Mathematical Logic

by P. H. Nidditch ...

Series series Routledge Library Editions: Logic
Originally published in 1962. A clear and simple account of the growth and structure of Mathematical Logic, no earlier knowledge of logic being required. After outlining the four lines of thought that have been its roots - the logic of Aristotle, the idea of all the parts of mathematics as systems to be designed on the same sort of plan as that used by Euclid and his Elements, and the discoveries ... Read more

PHP2,914.03

Originally published in 1962. A clear and simple account of the growth and structure of Mathematical Logic, no earlier knowledge of logic being required. After outlining the four lines of thought that have been its roots - the logic of Aristotle, the idea of all the parts of mathematics as systems to be designed on the same sort of plan as that used by Euclid and his Elements, and the discoveries
... Read more
Secrets to Solving Multiple Choice Questions in Competitive Exams

A Guide to Efficient Study Habits and Test-Taking Skills

by Budhi Sagar ...

Book Overview: "Secrets to Solving Multiple Choice Questions in Competitive Exams""Secrets to Solving Multiple Choice Questions in Competitive Exams" by Budhi Sagar Tools offers a comprehensive guide designed to empower students to excel in competitive exams. This book presents essential strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized ... Read more

PHP232.59 or Free with Kobo Plus

Book Overview: "Secrets to Solving Multiple Choice Questions in Competitive Exams""Secrets to Solving Multiple Choice Questions in Competitive Exams" by Budhi Sagar Tools offers a comprehensive guide designed to empower students to excel in competitive exams. This book presents essential strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized
... Read more
Endliche Modelltheorie

by Stefan Geschke ...

Series series Life Science and Basic Disciplines (German Language)
Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der ... Read more

PHP1,044.89

Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der
... Read more
Mastering Calculus through Practice

A Study Guide with over 300 Solved Exercises

by Bárbara de Holanda Maia Teixeira, Edmundo Capelas de Oliveira ...

Series series Mathematics and Statistics (R0)
This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates development of problem-solving abilities and techniques. It opens with an introduction to fundamental facts of mathematical logic, set theory, and pre-calculus, extending toward functions, limits, derivatives, and integrals. Over 300 solved problems are approached with a simple, direct ... Read more

PHP3,116.19

This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates development of problem-solving abilities and techniques. It opens with an introduction to fundamental facts of mathematical logic, set theory, and pre-calculus, extending toward functions, limits, derivatives, and integrals. Over 300 solved problems are approached with a simple, direct
... Read more
Set Theory

With an Introduction to Real Point Sets

by Abhijit Dasgupta ...

What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

PHP4,986.29

What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively
... 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,233.09

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
Earth Has a Cold Heart

by Neil Christianson ...

ELIJAH'S MESSAGEThe Book of Mormon teaches the New World's native population descended from an immigrant Jewish tribe. So the Mayan, who see the Zodiac changing on 21 December 2012 (Newton says 2060), must be a remnant of that tribe. A tribe that brought with it knowledge of the ancient condensed model—the one used by biblical prophets to forecast future events. So, out of curiosity, let's update ... Read more

PHP174.88

ELIJAH'S MESSAGEThe Book of Mormon teaches the New World's native population descended from an immigrant Jewish tribe. So the Mayan, who see the Zodiac changing on 21 December 2012 (Newton says 2060), must be a remnant of that tribe. A tribe that brought with it knowledge of the ancient condensed model—the one used by biblical prophets to forecast future events. So, out of curiosity, let's update
... 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,609.69

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
Arithmetic and Algebraic Geometry

A Mathematical Tribute to Yuri Manin

Edited by Yuri Tschinkel ...

Series series Mathematics and Statistics (R0)
This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logic, number theory, geometry, mathematical physics, theoretical computer science, and linguistics. The contributions collected here are on topics close to his life-long passion: arithmetic and ... Read more

PHP9,973.19

This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logic, number theory, geometry, mathematical physics, theoretical computer science, and linguistics. The contributions collected here are on topics close to his life-long passion: arithmetic and
... 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
Mechanizing Hypothesis Formation

Principles and Case Studies

by Jan Rauch, Milan Šimůnek, David Chudán, Petr Máša ...

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational ... Read more

PHP4,954.25

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational
... Read more
Complexity, Logic, and Recursion Theory

by Andrea Sorbi ...

Series series Lecture Notes in Pure and Applied Mathematics
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature." ... Read more

PHP21,568.12

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
... Read more
Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

by Nirdosh Bhatnagar ...

Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential elements of blockchains, and the mathematics required for understanding the workings of blockchains. Volume 2 develops mathematical models to enhance the ... Read more

PHP13,115.75

Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential elements of blockchains, and the mathematics required for understanding the workings of blockchains. Volume 2 develops mathematical models to enhance the
... Read more
Plural Logic

Second Edition, Revised and Enlarged

by Alex Oliver, Timothy Smiley ...

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', 'the real numbers', 'the square root of -1', 'they'), plural predicates ('surrounded the fort', 'are prime', 'are consistent', 'imply'), and plural quantification ('some things', 'any things'). Current ... Read more

PHP2,045.59

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', 'the real numbers', 'the square root of -1', 'they'), plural predicates ('surrounded the fort', 'are prime', 'are consistent', 'imply'), and plural quantification ('some things', 'any things'). Current
... Read more
R-Calculus, II: Many-Valued Logics

by Wei Li, Yuefei Sui ...

Series series Computer Science (R0)
This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems ... Read more

PHP8,726.49

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems
... Read more
Multiple Criteria Decision Making System-MCDM

by indirajith K ...

TITLE: Multiple Criteria Decision Making System- MCDMNavigating Decisions" is a comprehensive ebook that delves into the intricate world of decision-making methodologies, offering a thorough examination of both traditional and advanced approaches. From the Analytic Hierarchy Process (AHP) to cutting-edge techniques like the Gray Relational Model (GRM) and Fuzzy Integral Technique (FIT), this book ... Read more

PHP58.29

TITLE: Multiple Criteria Decision Making System- MCDMNavigating Decisions" is a comprehensive ebook that delves into the intricate world of decision-making methodologies, offering a thorough examination of both traditional and advanced approaches. From the Analytic Hierarchy Process (AHP) to cutting-edge techniques like the Gray Relational Model (GRM) and Fuzzy Integral Technique (FIT), this book
... Read more
Samson Abramsky on Logic and Structure in Computer Science and Beyond

Edited by Alessandra Palmigiano, Mehrnoosh Sadrzadeh ...

Series series Philosophy and Religion (R0)
Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six major themes: domains and duality, game semantics, contextuality and quantum computation, comonads and ... Read more

PHP11,219.99

Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six major themes: domains and duality, game semantics, contextuality and quantum computation, comonads and
... 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

Attention Vous êtes peut-être le robot d'une IA

The Essence of Numbers

The Development of Mathematical Logic

Secrets to Solving Multiple Choice Questions in Competitive Exams

Endliche Modelltheorie

Mastering Calculus through Practice

Set Theory

The Logic of Time

Earth Has a Cold Heart

Logic and Philosophy of Mathematics in the Early Husserl

Arithmetic and Algebraic Geometry

La buona logica

Mechanizing Hypothesis Formation

Complexity, Logic, and Recursion Theory

Mathematical Foundations of Blockchains

Plural Logic

R-Calculus, II: Many-Valued Logics

Multiple Criteria Decision Making System-MCDM

Samson Abramsky on Logic and Structure in Computer Science and Beyond