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

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  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
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  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

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

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

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

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

How to Solve It

A New Aspect of Mathematical Method

by G. Polya ...

Series series Princeton Science Library
A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have ... Read more

16,84 €

A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have
... 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

32,00 €

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

{Complete & Illustrated}

by Lewis Carroll ...

I shall be grateful to any Reader of this book who will point out any mistakes or misprints he may happen to notice in it, or any passage which he thinks is not clearly expressed.I have a quantity of MS. in hand for Parts II and III, and hope to be able——should life, and health, and opportunity, be granted to me, to publish them in the course of the next few years. Their contents will be as ... Read more

2,99 € or Free with Kobo Plus

I shall be grateful to any Reader of this book who will point out any mistakes or misprints he may happen to notice in it, or any passage which he thinks is not clearly expressed.I have a quantity of MS. in hand for Parts II and III, and hope to be able——should life, and health, and opportunity, be granted to me, to publish them in the course of the next few years. Their contents will be as
... Read more
Logos: Logical Religion Unleashed

by Steve Madison ...

Wouldn’t you want a religion that every logician, mathematician, philosopher, and scientist on earth could embrace, a religion fully consistent with all the points made by Kurt Gödel when he listed the 14 key religious principles he accepted? That religion already exists. It’s called ontological mathematics, predicated on the principle of sufficient reason and Occam’s razor, and constitutes an a ... Read more

6,46 €

Wouldn’t you want a religion that every logician, mathematician, philosopher, and scientist on earth could embrace, a religion fully consistent with all the points made by Kurt Gödel when he listed the 14 key religious principles he accepted? That religion already exists. It’s called ontological mathematics, predicated on the principle of sufficient reason and Occam’s razor, and constitutes an a
... Read more
Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

by Raymond M Smullyan ...

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great ... Read more

12,92 €

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great
... Read more
Why Machines Learn

The Elegant Maths Behind Modern AI

by Anil Ananthaswamy ...

'An invaluable companion for anyone who wants a deep understanding of what’s under the hood of often inscrutable machines' Melanie MitchellA rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour ... Read more

17,99 €

'An invaluable companion for anyone who wants a deep understanding of what’s under the hood of often inscrutable machines' Melanie MitchellA rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour
... Read more
Authorization and Access Control

Foundations, Frameworks, and Applications

by Parikshit N. Mahalle, Shashikant S. Bhong, Gitanjali R. Shinde ...

This book focuses on various authorization and access control techniques, threats and attack modeling, including an overview of the Open Authorization 2.0 (OAuth 2.0) framework along with user-managed access (UMA) and security analysis. Important key concepts are discussed regarding login credentials with restricted access to third parties with a primary account as a resource server. A detailed ... Read more

26,86 €

This book focuses on various authorization and access control techniques, threats and attack modeling, including an overview of the Open Authorization 2.0 (OAuth 2.0) framework along with user-managed access (UMA) and security analysis. Important key concepts are discussed regarding login credentials with restricted access to third parties with a primary account as a resource server. A detailed
... Read more
Logic, Everyday Discourse, and Metaphysics

by Gianni Rigamonti ...

Series series Philosophy and Religion (R0)
This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result ... Read more

76,31 €

This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result
... 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

104,93 €

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
Visual Cryptography and Secret Image Sharing

Edited by Stelvio Cimato, Ching-Nung Yang ...

Series series Digital Imaging and Computer Vision
With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a complete introduction to novel security methods and sharing-control mechanisms used to protect against ... Read more

111,13 €

With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a complete introduction to novel security methods and sharing-control mechanisms used to protect against
... Read more
Turing's Legacy

Developments from Turing's Ideas in Logic

Edited by Rod Downey ...

Series Book 42 - Lecture Notes in Logic
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern ... Read more

150,19 €

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern
... Read more
Conditionals and Modularity in General Logics

by Dov M. Gabbay, Karl Schlechta ...

Series series Computer Science (R0)
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity ... Read more

85,85 €

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity
... Read more
Logic: a Brief Course

by Daniele Mundici ...

Series series Mathematics and Statistics (R0)
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts ... Read more

47,69 €

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts
... 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

122,84 €

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
Introduction to Model Theory

by Philipp Rothmaler ...

Series series Algebra, Logic and Applications
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than ... Read more

107,46 €

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than
... Read more
Introduction to Mathematical Logic

by Elliott Mendelson ...

Series series Discrete Mathematics and Its Applications
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse ... Read more

Was 76,93 € Now 68,38 €

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse
... Read more
Intensionality

Lecture Notes in Logic 22

Edited by Reinhard Kahle ...

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume hi ... Read more

65,94 €

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume hi
... Read more
Games, Norms and Reasons

Logic at the Crossroads

Edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit ...

Series series Philosophy and Religion (R0)
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic ... Read more

85,85 €

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic
... Read more
Foundations of Software Science and Computation Structures

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Edited by Naoki Kobayashi, James Worrell ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: ... Read more

Free

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I:
... Read more
Miscellaneous Pieces

by Carroll Lewis ...

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping ... Read more

4,12 €

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping
... Read more
Objects, Structures, and Logics

FilMat Studies in the Philosophy of Mathematics

Edited by Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo ...

Series series Mathematics and Statistics (R0)
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, ... Read more

133,55 €

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth,
... Read more
Objectivity, Realism, and Proof

FilMat Studies in the Philosophy of Mathematics

Edited by Francesca Boccuni, Andrea Sereni ...

Series series Philosophy and Religion (R0)
This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their ... Read more

114,47 €

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their
... Read more
Logic with Trees

An Introduction to Symbolic Logic

by Colin Howson ...

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their ... Read more

Was 58,61 € Now 52,50 €

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their
... Read more
Matematica per comuni mortali

Giochi, numeri curiosi, enigmi, paradossi, logica e strategia

by Ennio Peres ...

La Matematica è alla base di qualsiasi disciplina scientifica e di ogni forma d’arte armoniosa. Il pensiero logico ci abitua al ragionamento e alla precisione del linguaggio. Eppure, molti la considerano erroneamente materia ostica e arida, da cervelloni. Se invece siete tra i comuni mortali che hanno intuito il mondo affascinante che c’è dietro tale disciplina, questo libro stuzzicherà la vostra ... Read more

9,99 €

La Matematica è alla base di qualsiasi disciplina scientifica e di ogni forma d’arte armoniosa. Il pensiero logico ci abitua al ragionamento e alla precisione del linguaggio. Eppure, molti la considerano erroneamente materia ostica e arida, da cervelloni. Se invece siete tra i comuni mortali che hanno intuito il mondo affascinante che c’è dietro tale disciplina, questo libro stuzzicherà la vostra
... 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

How to Solve It

Plural Logic

Symbolic Logic

Logos: Logical Religion Unleashed

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Why Machines Learn

Authorization and Access Control

Logic, Everyday Discourse, and Metaphysics

Temporal Type Theory

Visual Cryptography and Secret Image Sharing

Turing's Legacy

Conditionals and Modularity in General Logics

Logic: a Brief Course

Coherence in Three-Dimensional Category Theory

Introduction to Model Theory

Introduction to Mathematical Logic

Intensionality

Games, Norms and Reasons

Foundations of Software Science and Computation Structures

Miscellaneous Pieces

Objects, Structures, and Logics

Objectivity, Realism, and Proof

Logic with Trees

Matematica per comuni mortali