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

Skip side bar filters

Introduction To Mathematical Logic (Extended Edition)

by Michal Walicki ...

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and ... Read more

$42.99 CAD

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and
... Read more

Gödel's Proof

by Ernest Nagel, James R Newman, Douglas R. Hofstadter ...

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in ... Read more

$17.99 CAD or Free with Kobo Plus

Also available as: Audiobook

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in
... Read more

Also available as: Audiobook
From 0 to Infinity in 26 Centuries

The Extraordinary Story of Maths

by Chris Waring ...

We may remember their equations and discoveries from school, but do we remember who the men behind the maths were? From the theories of Pythagoras (and did you know he ran a secret brotherhood that studied maths, music and gymnastics?) to coining the term 'Googol', "Fom 0 to Infinity in 26 Centuries: The Extraordinary Story of Maths" is packed full of fascinating stories and amazing facts from ... Read more

$4.99 CAD

We may remember their equations and discoveries from school, but do we remember who the men behind the maths were? From the theories of Pythagoras (and did you know he ran a secret brotherhood that studied maths, music and gymnastics?) to coining the term 'Googol', "Fom 0 to Infinity in 26 Centuries: The Extraordinary Story of Maths" is packed full of fascinating stories and amazing facts from
... Read more
Geometry

Tutorial and Practical Problems

by Sonal Bhatt, Rebecca Dayton ...

Series series Idiot's Guides
Covering everything a student would encounter in a high school or college course, Idiot's Guides: Geometry explains concepts in the easiest possible manner. Content includes everything from the basics of geometry; reasoning and proof; triangles; quadrilaterals; area and volume; similarity, perpendicular and parallel lines; and much more. This all-new book integrates a practice problems section to ... Read more

$15.99 CAD

Covering everything a student would encounter in a high school or college course, Idiot's Guides: Geometry explains concepts in the easiest possible manner. Content includes everything from the basics of geometry; reasoning and proof; triangles; quadrilaterals; area and volume; similarity, perpendicular and parallel lines; and much more. This all-new book integrates a practice problems section to
... 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

$6.99 CAD 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
Taking Sudoku Seriously: The Math Behind the World's Most Popular Pencil Puzzle

The Math Behind the World's Most Popular Pencil Puzzle

by Jason Rosenhouse, Laura Taalman ...

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics. How many Sudoku solution squares are there? What shapes other than three-by-three blocks can serve as acceptable Sudoku regions? What is the fewest number of starting clues a ... Read more

$35.99 CAD

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics. How many Sudoku solution squares are there? What shapes other than three-by-three blocks can serve as acceptable Sudoku regions? What is the fewest number of starting clues a
... Read more
Methods of Argumentation

by Douglas Walton ...

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a ... Read more

$35.99 CAD

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a
... Read more
Computational Logic and Set Theory

Applying Formalized Logic to Analysis

by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo ...

Series series Computer Science (R0)
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a ... Read more

$64.99 CAD

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a
... 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

$150.39 CAD

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
That's Maths

The Mathematical Magic in Everyday Life

by Peter Lynch ...

From atom bombs to rebounding slinkies, open your eyes to the mathematical magic in the everyday. Mathematics isn't just for academics and scientists, a fact meteorologist and blogger Peter Lynch has spent the past several years proving through his Irish Times newspaper column and blog, That's Maths.Here, he shows how maths is all around us, with chapters on the beautiful equations behind ... Read more

$6.99 CAD or Free with Kobo Plus

From atom bombs to rebounding slinkies, open your eyes to the mathematical magic in the everyday. Mathematics isn't just for academics and scientists, a fact meteorologist and blogger Peter Lynch has spent the past several years proving through his Irish Times newspaper column and blog, That's Maths.Here, he shows how maths is all around us, with chapters on the beautiful equations behind
... Read more
The Infinite in Mathematics

Logico-mathematical writings

Translated by Paul Foulkes ...

by Felix Kaufmann ...

Series series Philosophy and Religion (R0)
The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important changes have been required in philosophies of ... Read more

$179.99 CAD

The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important changes have been required in philosophies of
... Read more
Mathematical Formulas for Economics and Business: A Simple Introduction

Simple Introductions, #10

by K.H. Erickson ...

Series Book 10 - Simple Introductions
Mathematical Formulas for Economics and Business: A Simple Introduction includes over 100 formulas in the field, alongside relevant definitions and explanations. The formulas cover the areas of supply and demand, market equilibrium, non-linear functions, financial mathematics, differentiation, functions of several variables, integration, and matrix algebra. ... Read more

$6.99 CAD or Free with Kobo Plus

Mathematical Formulas for Economics and Business: A Simple Introduction includes over 100 formulas in the field, alongside relevant definitions and explanations. The formulas cover the areas of supply and demand, market equilibrium, non-linear functions, financial mathematics, differentiation, functions of several variables, integration, and matrix algebra.
... Read more

Rakuten Kobo

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

“michal walicki”

Introduction To Mathematical Logic (Extended Edition)

People who read this also enjoyed

Gödel's Proof

From 0 to Infinity in 26 Centuries

Geometry

Introducing Infinity

Taking Sudoku Seriously: The Math Behind the World's Most Popular Pencil Puzzle

Methods of Argumentation

Computational Logic and Set Theory

Lectures on the Curry-Howard Isomorphism

That's Maths

The Infinite in Mathematics

Mathematical Formulas for Economics and Business: A Simple Introduction

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

“michal walicki”

Show:

People who read this also enjoyed