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

by Martin Ziegler ...

Series series Life Science and Basic Disciplines (German Language)
Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der ... Read more

16,10 €

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der
... Read more
В сути вещей

by Владимир Булыгин ...

Что должен? Идтить к землям доселе неизведанным, …ибо живу. Знать, что еще не ведомо, … ибо мыслю. А хочу-то что? Да, то же! Прикоснуться к тайне творения, потому что живу и мыслю.И поэтому вопросы. …Стоит ли думать об основах математики не математику? А математику о философии? Или физику о биологии? … Стоит. ... Read more

1,99 €

Что должен? Идтить к землям доселе неизведанным, …ибо живу. Знать, что еще не ведомо, … ибо мыслю. А хочу-то что? Да, то же! Прикоснуться к тайне творения, потому что живу и мыслю.И поэтому вопросы. …Стоит ли думать об основах математики не математику? А математику о философии? Или физику о биологии? … Стоит.
... Read more
Structural Analysis of Non-Classical Logics

The Proceedings of the Second Taiwan Philosophical Logic Colloquium

Edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...

Series series Springer Nature Proceedings excluding Computer Science
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

85,85 €

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate
... Read more
Reasoning Web. Declarative Artificial Intelligence

17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures

Edited by Mantas Šimkus, Ivan Varzinczak ...

Series series Computer Science (R0)
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school ... Read more

76,31 €

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school
... Read more
Giochiamo con i numeri

by Massimiliano Ambrosino ...

Non un libro di regole né un eserciziario. Semplicemente un libro di lettura per scoprire e riflettere su quanto e come le comuni operazioni aritmetiche, e più in generale il pensiero matematico, regolino il funzionamento di alcuni giochi molto conosciuti e di semplice esecuzione. Un tentativo per incuriosire studenti ed appassionati su qualche aspetto ludico della matematica. Un modo per capire ... Read more

2,99 € or Free with Kobo Plus

Non un libro di regole né un eserciziario. Semplicemente un libro di lettura per scoprire e riflettere su quanto e come le comuni operazioni aritmetiche, e più in generale il pensiero matematico, regolino il funzionamento di alcuni giochi molto conosciuti e di semplice esecuzione. Un tentativo per incuriosire studenti ed appassionati su qualche aspetto ludico della matematica. Un modo per capire
... Read more
Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic

Volume I: Set Theory

by Douglas Cenzer, Christopher Porter, Jindřich Zapletal ...

This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, mathematical logic, and other mathematical fields, including analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester introductory in set theory, where the ... Read more

22,14 €

This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, mathematical logic, and other mathematical fields, including analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester introductory in set theory, where the
... Read more
Godel's Theorem in Focus

Edited by S.G. Shanker ...

Series series Philosophers in Focus
A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms. ... Read more

61,05 €

A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms.
... 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

17,27 €

'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
Meaning, Quantification, Necessity

Themes in Philosophical Logic

by Martin Davies ...

Series series Routledge Library Editions: Logic
Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic.The first part of the book is concerned with the nature of the ... Read more

45,18 €

Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic.The first part of the book is concerned with the nature of the
... Read more
Mathematical Logic

by Joseph R. Shoenfield ...

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and ... Read more

Was 65,94 € Now 58,61 €

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and
... Read more
New Directions of Modern Cryptography

by Zhenfu Cao ...

Modern cryptography has evolved dramatically since the 1970s. With the rise of new network architectures and services, the field encompasses much more than traditional communication where each side is of a single user. It also covers emerging communication where at least one side is of multiple users. New Directions of Modern Cryptography presents ... Read more

72,05 €

Modern cryptography has evolved dramatically since the 1970s. With the rise of new network architectures and services, the field encompasses much more than traditional communication where each side is of a single user. It also covers emerging communication where at least one side is of multiple users. New Directions of Modern Cryptography presents
... Read more
Logic and Its Applications

10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

Edited by Mohua Banerjee, A. V. Sreejith ...

Series series Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These ... Read more

62,00 €

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These
... Read more
Lectures on the Curry-Howard Isomorphism

by Morten Heine Sørensen, Pawel Urzyczyn ...

Series Book 149 - Studies in Logic and the Foundations of Mathematics
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to ... Read more

117,97 €

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to
... Read more
Philosophical Logic

A Contemporary Introduction

by John MacFarlane ...

Series series Routledge Contemporary Introductions to Philosophy
Introductory logic is generally taught as a straightforward technical discipline. In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who already has completed an introductory logic course.The book explores the following ... Read more

51,28 €

Introductory logic is generally taught as a straightforward technical discipline. In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who already has completed an introductory logic course.The book explores the following
... Read more
Programs as Diagrams

From Categorical Computability to Computable Categories

by Dusko Pavlovic ...

Series series Computer Science (R0)
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers ... Read more

62,00 €

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers
... 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

17,49 €

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

133,55 €

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
God and Abstract Objects

The Coherence of Theism: Aseity

by William Lane Craig ...

Series series Philosophy and Religion (R0)
This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic ... Read more

143,09 €

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic
... 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

Symbolic Logic

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Why Machines Learn

Plural Logic

Logos: Logical Religion Unleashed

Mathematische Logik

В сути вещей

Structural Analysis of Non-Classical Logics

Reasoning Web. Declarative Artificial Intelligence

Giochiamo con i numeri

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic

Godel's Theorem in Focus

Alan M. Turing

Meaning, Quantification, Necessity

Mathematical Logic

New Directions of Modern Cryptography

Logic and Its Applications

Lectures on the Curry-Howard Isomorphism

Philosophical Logic

Programs as Diagrams

The Palintrope

R-Calculus, II: Many-Valued Logics

God and Abstract Objects