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
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
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
Trick or Truth?

The Mysterious Connection Between Physics and Mathematics

Edited by Anthony Aguirre, Brendan Foster, Zeeya Merali ...

Series series Physics and Astronomy (R0)
The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics. Is mathematics merely another natural science? Or is it the result of human creativity? Does physics simply wear mathematics like a costume, or is math the lifeblood of physical reality?The nineteen wide-ranging, highly imaginative and often entertaining essays ... Read more

PHP5,166.59

The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics. Is mathematics merely another natural science? Or is it the result of human creativity? Does physics simply wear mathematics like a costume, or is math the lifeblood of physical reality?The nineteen wide-ranging, highly imaginative and often entertaining essays
... Read more
Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

by Patrick Schultz, David I. Spivak ...

Series series Mathematics and Statistics (R0)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze ... Read more

PHP7,104.19

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze
... Read more
Natural Deduction, Hybrid Systems and Modal Logics

by Andrzej Indrzejczak ...

Series series Mathematics and Statistics (R0)
A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly needs some explanation. In short, this study may be seen as a kind of search for good deductive ... Read more

PHP14,145.09

A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly needs some explanation. In short, this study may be seen as a kind of search for good deductive
... Read more
Advances in Mathematical Logic

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka ...

Series series Springer Nature Proceedings excluding Computer Science
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program ... Read more

PHP9,687.79

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program
... Read more
Completely Regular Semigroup Varieties

Applications and Advanced Techniques

by Mario Petrich, Norman R. Reilly ...

Series series Synthesis Collection of Technology (R0)
This book presents further developments and applications in the area of completely regular semigroup theory, beginning with applications of Polák’s theorem to obtain detailed descriptions of various kernel classes including the K-class covers of the kernel class of all bands. The important property of modularity of the lattice of varieties of completely regular semigroups is then employed to ... Read more

PHP2,582.99

This book presents further developments and applications in the area of completely regular semigroup theory, beginning with applications of Polák’s theorem to obtain detailed descriptions of various kernel classes including the K-class covers of the kernel class of all bands. The important property of modularity of the lattice of varieties of completely regular semigroups is then employed to
... Read more
Exploring Negation, Modality and Proof

6th Asian Workshop on Philosophical Logic

Edited by Katsuhiko Sano, Ryo Hatano, Hiroakira Ono ...

Series series Philosophy and Religion (R0)
This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in ... Read more

PHP10,979.59

This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in
... Read more
Human and Artificial Rationalities

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Edited by Jean Baratgin, Baptiste Jacquet, Hiroshi Yama ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023.The 18 full and 5 short papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Human and artificial thinking; human thinking and ... Read more

PHP5,166.59

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023.The 18 full and 5 short papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Human and artificial thinking; human thinking and
... Read more
Selected Topics in Probabilistic Safety Assessment

Methodology and Practice in Nuclear Power Plants

by Dan Serbanescu, Anatoli Paul Ulmeanu ...

Series series Engineering (R0)
Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants. It is also known as probabilisticrisk assessment– PRA. This book presents the theoretical basis to understand the numerous and complex aspects that are covered by PSA and it willhelp the reader ... Read more

PHP9,041.89

Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants. It is also known as probabilisticrisk assessment– PRA. This book presents the theoretical basis to understand the numerous and complex aspects that are covered by PSA and it willhelp the reader
... Read more
Sets, Logic and Maths for Computing

by David Makinson ...

Series series Computer Science (R0)
This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics, the book offers a concise treatment in an engaging style.The thoroughly revised third edition features a new chapter on relevance-sensitivity in ... Read more

PHP3,228.89

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics, the book offers a concise treatment in an engaging style.The thoroughly revised third edition features a new chapter on relevance-sensitivity in
... Read more
Introduction to Discrete Mathematics via Logic and Proof

by Calvin Jongsma ...

Series series Mathematics and Statistics (R0)
This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to ... Read more

PHP3,551.79

This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to
... Read more
Machine Learning, Blockchain, and Cyber Security in Smart Environments

Application and Challenges

Edited by Sarvesh Tanwar, Sumit Badotra, Ajay Rana ...

Series series Chapman & Hall/CRC Cyber-Physical Systems
Machine Learning, Cyber Security, and Blockchain in Smart Environment: Application and Challenges provides far-reaching insights into the recent techniques forming the backbone of smart environments, and addresses the vulnerabilities that give rise to the challenges in real-word implementation. The book focuses on the benefits related to the emerging applications such as machine learning, ... Read more

PHP4,496.06

Machine Learning, Cyber Security, and Blockchain in Smart Environment: Application and Challenges provides far-reaching insights into the recent techniques forming the backbone of smart environments, and addresses the vulnerabilities that give rise to the challenges in real-word implementation. The book focuses on the benefits related to the emerging applications such as machine learning,
... Read more
AI-Based Metaheuristics for Information Security and Digital Media

Edited by Apoorva S Shastri, Mangal Singh, Anand J. Kulkarni, Patrick Siarry ...

Series series Advances in Metaheuristics
This book examines the latest developments in Artificial Intelligence (AI)-based metaheuristics algorithms with applications in information security for digital media. It highlights the importance of several security parameters, their analysis, and validations for different practical applications. Drawing on multidisciplinary research including computer vision, machine learning, artificial ... Read more

PHP4,126.47

This book examines the latest developments in Artificial Intelligence (AI)-based metaheuristics algorithms with applications in information security for digital media. It highlights the importance of several security parameters, their analysis, and validations for different practical applications. Drawing on multidisciplinary research including computer vision, machine learning, artificial
... Read more
Formal Methods in Computer Science

by Jiacun Wang, William Tepfenhart ...

Series series Textbooks in Mathematics
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi ... Read more

PHP7,760.77

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
... Read more
New Articulations of the Theory of Oppositions

Seventh World Congress on the Square of Opposition

Edited by Jean-Yves Beziau, Julio Michael Stern ...

Series series Springer Nature Proceedings excluding Computer Science
This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in 2012, Vatican City in 2014, Easter Island in 2016, and Crete in 2018. This interdisciplinary event gathered logicians, philosophers, mathematicians, ... Read more

PHP16,082.79

This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in 2012, Vatican City in 2014, Easter Island in 2016, and Crete in 2018. This interdisciplinary event gathered logicians, philosophers, mathematicians,
... Read more
Reasoning with Attitude

Foundations and Applications of Inferential Expressivism

by Luca Incurvati, Julian J. Schlöder ...

This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Academic and offered as a free PDF download from OUP and selected open access locations. Certain combinations of sounds or signs on paper are meaningful. What makes it the case that, unlike most combinations of sounds or signs, they have meaning? What is this meaning that they have? ... Read more

PHP6,319.49

This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Academic and offered as a free PDF download from OUP and selected open access locations. Certain combinations of sounds or signs on paper are meaningful. What makes it the case that, unlike most combinations of sounds or signs, they have meaning? What is this meaning that they have?
... Read more
Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

by Donald Gillies ...

Series series Routledge Revivals
First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the ... Read more

PHP5,112.04

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the
... Read more
Cybersecurity for Internet of Health Things

Edited by Mohiuddin Ahmed, Nazim Choudhury ...

Healthcare is one of the industries that has embraced and benefitted the most from improved internet connectivity and usage. Since the number of healthcare service seekers across the world is growing at a rapid pace, service providers rely on the internet-connected ecosystem, which is also known as the critical health infrastructure, Internet of Health Things (IoHT) or Internet of Medical Things ... Read more

PHP4,804.05

Healthcare is one of the industries that has embraced and benefitted the most from improved internet connectivity and usage. Since the number of healthcare service seekers across the world is growing at a rapid pace, service providers rely on the internet-connected ecosystem, which is also known as the critical health infrastructure, Internet of Health Things (IoHT) or Internet of Medical Things
... Read more
Elements of Quasigroup Theory and Applications

by Victor Shcherbacov ...

Series series Chapman & Hall/CRC Monographs and Research Notes in Mathematics
Understanding Interaction is a book that explores the interaction between people and technology, in the broader context of the relations between the human made and the natural environments.It is not just about digital technologies – our computers, smart phones, the Internet – but all our technologies such as mechanical, electrical and electronic. Our ancestors started creating mechanical tools and ... Read more

PHP14,474.99

Understanding Interaction is a book that explores the interaction between people and technology, in the broader context of the relations between the human made and the natural environments.It is not just about digital technologies – our computers, smart phones, the Internet – but all our technologies such as mechanical, electrical and electronic. Our ancestors started creating mechanical tools and
... Read more
Multiple-Base Number System

Theory and Applications

by Vassil Dimitrov, Graham Jullien, Roberto Muscedere ...

Series series Circuits and Electrical Engineering
Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area. As a result, they are losing out on emerging opportunities to optimize its use in targeted applications and technologies. In many cases, easily available standard arithmetic hardware might not necessarily be the most efficient implementation ... Read more

PHP6,898.40

Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area. As a result, they are losing out on emerging opportunities to optimize its use in targeted applications and technologies. In many cases, easily available standard arithmetic hardware might not necessarily be the most efficient implementation
... 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

Descartes' Error

Alan M. Turing

Advances in Proof-Theoretic Semantics

How to Bake Pi

Trick or Truth?

Temporal Type Theory

Natural Deduction, Hybrid Systems and Modal Logics

Advances in Mathematical Logic

Completely Regular Semigroup Varieties

Exploring Negation, Modality and Proof

Human and Artificial Rationalities

Selected Topics in Probabilistic Safety Assessment

Sets, Logic and Maths for Computing

Introduction to Discrete Mathematics via Logic and Proof

Machine Learning, Blockchain, and Cyber Security in Smart Environments

AI-Based Metaheuristics for Information Security and Digital Media

Formal Methods in Computer Science

New Articulations of the Theory of Oppositions

Reasoning with Attitude

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

Cybersecurity for Internet of Health Things

Elements of Quasigroup Theory and Applications

Multiple-Base Number System