Mathematical foundations books

12303 books were found.

Philosophy of Mathematics: Classic and Contemporary Studies

Philosophy of Mathematics: Classic and Contemporary...

Author: Ahmet Cevik
ISBN: 9781032121284
Format: Hardback
$179.00

This book explores the foundations of mathematical thought. The aim of this book is to encourage young mathematicians...  Read More >>

Big Book of Su Doku 9: 300 Su Doku Puzzles

Big Book of Su Doku 9: 300 Su Doku Puzzles

Author: Collins Puzzles
ISBN: 9780008469924
Format: Paperback
$18.09

Keep your brain busy at home with everyday puzzles. A bumper collection of easy, medium and difficult...  Read More >>

When Money Talks: A History of Coins and Numismatics

When Money Talks: A History of Coins and Numismatics...

Author: Frank L Holt ,  Walter Dixon
ISBN: 9798200933631
Format: Audio
$176.85

Coinage--it is one of the most successful and consistent technologies ever invented. Nothing else we still use in...  Read More >>

Algebraic Perspectives on Substructural Logics

Algebraic Perspectives on Substructural Logics

Author: Davide Fazio ,  Antonio Ledda
ISBN: 9783030521653
Format: Paperback
$316.77

This volume presents the state of the art in the algebraic investigation into substructural logics.  Read More >>

Founding Mathematics on Semantic Conventions

Founding Mathematics on Semantic Conventions

Author: Casper Storm Hansen
ISBN: 9783030885335
Format: Hardback
$258.72

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is...  Read More >>

Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory: With Applications to Gravity and Particle Theory

Finite Mathematics as the Foundation of Classical Mathematics...

Author: Felix Lev
ISBN: 9783030611033
Format: Paperback
$290.37

This book delves into finite mathematics and its application in physics, particularly quantum theory. It is shown...  Read More >>

R-CALCULUS: A Logic of Belief Revision

R-CALCULUS: A Logic of Belief Revision

Author: Wei Li ,  Yuefei Sui
ISBN: 9789811629433
Format: Hardback
$422.37

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming,...  Read More >>

New Foundations for Information Theory: Logical Entropy and Shannon Entropy

New Foundations for Information Theory: Logical Entropy...

Author: David Ellerman
ISBN: 9783030865511
Format: Paperback
$142.29

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions,...  Read More >>

A Handbook of Model Categories

A Handbook of Model Categories

Author: Scott Balchin
ISBN: 9783030750343
Format: Hardback
$527.97

This book outlines a vast array of techniques and methods regarding model categories, without focussing on the intricacies...  Read More >>

At Sixes and Sevens: How to Understand Numbers and Make Maths Easy

At Sixes and Sevens: How to Understand Numbers and Make...

Author: Rachel Riley ,  Dr Gareth Moore
ISBN: 9780008522766
Format: Paperback
$29.99

An engaging, accessible introduction into how numbers work and why we shouldn’t be afraid of them, from maths expert Rachel...  Read More >>

An Invitation to Abstract Mathematics

An Invitation to Abstract Mathematics

Author: Béla Bajnok
ISBN: 9783030561765
Format: Paperback
$116.41

Presenting historical perspective and notes on important figures in mathematics, covering current activity in the...  Read More >>

Modelling Puzzles in First Order Logic

Modelling Puzzles in First Order Logic

Author: Adrian Groza
ISBN: 9783030625467
Format: Paperback
$116.41

Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the...  Read More >>

At Sixes and Sevens: How to Understand Numbers and Make Maths Easy

At Sixes and Sevens: How to Understand Numbers and Make...

Author: Rachel Riley ,  Dr Gareth Moore
ISBN: 9780008491079
Format: Hardback
$38.79

An engaging, accessible introduction into how numbers work and why we shouldn’t be afraid of them, from maths expert Rachel...  Read More >>

Visual Category Theory Brick by Brick: Diagrammatic LEGO(R) Reference

Visual Category Theory Brick by Brick: Diagrammatic...

Author: Dmitry Vostokov
ISBN: 9781912636389
Format: Paperback
$116.44

The book teaches category theory and abstract mathematics in general by using LEGO(R) bricks. It can also be used...  Read More >>

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About...

Author: Wolfgang Schreiner
ISBN: 9783030805067
Format: Hardback
$290.37

This book describes some basic principles that allow developers of computer programs (computer scientists, software...  Read More >>

Decidability of Logical Theories and Their Combination

Decidability of Logical Theories and Their Combination...

Author: João Rasga ,  Cristina Sernadas
ISBN: 9783030565565
Format: Paperback
$142.29

This textbook provides a self-contained introduction to decidability of first-order theories and their combination....  Read More >>

Paradoxes and Inconsistent Mathematics

Paradoxes and Inconsistent Mathematics

Author: Zach Weber (University of Otago, New Zealand)
ISBN: 9781108834414
Format: Hardback
$194.06

Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber...  Read More >>

What Makes Us Smart: The Computational Logic of Human Cognition

What Makes Us Smart: The Computational Logic of Human...

Author: Samuel J. Gershman
ISBN: 9780691205717
Format: Paperback
$49.99

How a computational framework can account for the successes and failures of human cognition At the heart of human...  Read More >>

What Makes Us Smart: The Computational Logic of Human Cognition

What Makes Us Smart: The Computational Logic of Human...

Author: Samuel J. Gershman
ISBN: 9780691205700
Format: Hardback
$225.00

"How a computational framework can account for the successes and failures of human cognition At the heart of human...  Read More >>

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation...

Author: Lorenz Halbeisen ,  Regula Krapf
ISBN: 9783030522810
Format: Paperback
$145.17

A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano...  Read More >>

New Perspectives in Algebra, Topology and Categories: Summer School, Louvain-la-Neuve, Belgium, September 12-15, 2018 and September 11-14, 2019

New Perspectives in Algebra, Topology and Categories:...

Author: Maria Manuel Clementino ,  Alberto Facchini
ISBN: 9783030843182
Format: Hardback
$211.17

This book provides an introduction to some key subjects in algebra and topology. It consists of comprehensive texts...  Read More >>

Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

Relational and Algebraic Methods in Computer Science:...

Author: Uli Fahrenberg ,  Mai Gehrke
ISBN: 9783030887001
Format: Paperback
$168.16

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in...  Read More >>

Selected Topics from Contemporary Logics

Selected Topics from Contemporary Logics

Author: Melvin Fitting
ISBN: 9781848903500
Format: Paperback
$53.04

 Read More >>

Sudoku: 100 Easy Puzzles Volume 102 - Train Your Brain!

Sudoku: 100 Easy Puzzles Volume 102 - Train Your Brain!...

Author: Dylan Bennett
ISBN: 9798759260165
Format: Paperback
$15.19

Sharpen your mind with fun! 100 Easy Sudoku Puzzles Easy-to-read solutions Great for all skill levels! A perfect...  Read More >>

Fixpunkte und Nullstellen: Klartext für Nichtmathematiker

Fixpunkte und Nullstellen: Klartext für Nichtmathematiker...

Author: Guido Walz
ISBN: 9783658355760
Format: Paperback
$47.49

 Read More >>

Sub Categories for
Mathematical foundations
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List