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

Skip side bar filters

Action-minimizing Methods in Hamiltonian Dynamics

An Introduction to Aubry-Mather Theory

by Alfonso Sorrentino ...

Series Book 50 - Mathematical Notes
John Mather's seminal works in Hamiltonian dynamics represent some of the most important contributions to our understanding of the complex balance between stable and unstable motions in classical mechanics. His novel approach—known as Aubry-Mather theory—singles out the existence of special orbits and invariant measures of the system, which possess a very rich dynamical and geometric structure. In ... Read more

$38.19 USD

John Mather's seminal works in Hamiltonian dynamics represent some of the most important contributions to our understanding of the complex balance between stable and unstable motions in classical mechanics. His novel approach—known as Aubry-Mather theory—singles out the existence of special orbits and invariant measures of the system, which possess a very rich dynamical and geometric structure. In
... Read more

Introducing Logic

A Graphic Guide

by Bill Mayblin, Dan Cryan, Sharron Shatil ...

Series series Graphic Guides
Logic is the backbone of Western civilization, holding together its systems of philosophy, science and law. Yet despite logic's widely acknowledged importance, it remains an unbroken seal for many, due to its heavy use of jargon and mathematical symbolism.This book follows the historical development of logic, explains the symbols and methods involved and explores the philosophical issues ... Read more

$6.79 USD or Free with Kobo Plus

Logic is the backbone of Western civilization, holding together its systems of philosophy, science and law. Yet despite logic's widely acknowledged importance, it remains an unbroken seal for many, due to its heavy use of jargon and mathematical symbolism.This book follows the historical development of logic, explains the symbols and methods involved and explores the philosophical issues
... 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.29 USD

'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
Introducing Infinity

A Graphic Guide

by Brian Clegg ...

Series series Graphic Guides
Infinity is a profoundly counter-intuitive and brain-twisting subject that has inspired some great thinkers – and provoked and shocked others.The ancient Greeks were so horrified by the implications of an endless number that they drowned the man who gave away the secret. And a German mathematician was driven mad by the repercussions of his discovery of transfinite numbers.Brian Clegg and Oliver ... Read more

$5.69 USD or Free with Kobo Plus

Infinity is a profoundly counter-intuitive and brain-twisting subject that has inspired some great thinkers – and provoked and shocked others.The ancient Greeks were so horrified by the implications of an endless number that they drowned the man who gave away the secret. And a German mathematician was driven mad by the repercussions of his discovery of transfinite numbers.Brian Clegg and Oliver
... Read more
Logic

A Very Short Introduction

by Graham Priest ...

Series series Very Short Introductions
Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability ... Read more

$7.99 USD

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability
... Read more
The philosophy of mathematics

by Auguste Comte ...

The pleasure and profit which the translator has received from the great work here presented, have induced him to lay it before his fellow-teachers and students of Mathematics in a more accessible form than that in which it has hitherto appeared. The want of a comprehensive map of the wide region of mathematical science—a bird's-eye view of its leading features, and of the true bearings and ... Read more

$0.99 USD or Free with Kobo Plus

The pleasure and profit which the translator has received from the great work here presented, have induced him to lay it before his fellow-teachers and students of Mathematics in a more accessible form than that in which it has hitherto appeared. The want of a comprehensive map of the wide region of mathematical science—a bird's-eye view of its leading features, and of the true bearings and
... Read more
Basic Category Theory

by Tom Leinster ...

Series Book 143 - Cambridge Studies in Advanced Mathematics
At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in ... Read more

$63.99 USD

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in
... Read more
Godel's Mistake: The Role of Meaning in Mathematics

by Ashish Dalela ...

Why Is Mathematics Incomplete?Gödel's incompleteness theorem is a foundational result in mathematics that proves that any axiomatic theory of numbers will be either inconsistent or incomplete. Turing's Halting problem is a foundational result in computing proving that computers cannot know if a program will halt. Gödel's Mistake connects these theorems to the question of meaning. The book shows ... Read more

$5.99 USD or Free with Kobo Plus

Why Is Mathematics Incomplete?Gödel's incompleteness theorem is a foundational result in mathematics that proves that any axiomatic theory of numbers will be either inconsistent or incomplete. Turing's Halting problem is a foundational result in computing proving that computers cannot know if a program will halt. Gödel's Mistake connects these theorems to the question of meaning. The book shows
... Read more
One Hundred Prisoners and a Light Bulb

by Hans van Ditmarsch, Barteld Kooi ...

Series series Mathematics and Statistics (R0)
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Read more

$18.99 USD

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no
... Read more
Set Theory

A First Course

by Daniel W. Cunningham ...

Series series Cambridge Mathematical Textbooks
Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets, ... Read more

$59.09 USD

Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets,
... Read more
Type Theory and Formal Proof

An Introduction

by Rob Nederpelt, Herman Geuvers ...

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin ... Read more

$81.19 USD

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin
... Read more
Computability Theory

An Introduction to Recursion Theory

by Herbert B. Enderton ...

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion ... Read more

$56.69 USD

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion
... Read more

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

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

Mathematical Notes eBook Series

Action-minimizing Methods in Hamiltonian Dynamics

People who read this also enjoyed

Introducing Logic

Alan M. Turing

Introducing Infinity

Logic

The philosophy of mathematics

Basic Category Theory

Godel's Mistake: The Role of Meaning in Mathematics

One Hundred Prisoners and a Light Bulb

Set Theory

Type Theory and Formal Proof

Computability Theory

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

Mathematical Notes eBook Series

Show:

People who read this also enjoyed