Mathematical foundations Books

Mathematical logic
Number systems
Set theory
Sidebar Sidebar Sidebar
  • The Rohonc Code
    Add to Cart The item has been added

    The Rohonc Code

    First discovered in a Hungarian library in 1838, the Rohonc Codex keeps privileged company with some of the most famous unsolved writing systems in the world, notably the Voynich manuscript, the...
    $54.99

    Add to Cart The item has been added
  • Ada's Algorithm
    Add to Cart The item has been added

    Ada's Algorithm

    Through the infamous divorce of her parents, Ada Lovelace became the most talked-about child in Georgian Britain. This riveting biography tells the extraordinary yet little known story of her life...
    $29.99

    Add to Cart The item has been added
  • Algebras, Lattices, Varieties
    Add to Cart The item has been added

    Algebras, Lattices, Varieties

    This book is the third of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules,...
    $289.00

    Add to Cart The item has been added
  • Algebras, Lattices, Varieties
    Add to Cart The item has been added

    Algebras, Lattices, Varieties

    This book is the second of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules,...
    $289.00

    Add to Cart The item has been added
  • Geometric Set Theory
    Add to Cart The item has been added

    Geometric Set Theory

    This book introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagreement. In Part I, the method is applied to isolate...
    $323.00

    Add to Cart The item has been added
  • Math Common Core For Kindergarten
    Add to Cart The item has been added

    Math Common Core For Kindergarten

    Parents and teachers can use this laminated 6-page guide with their kindergartener to hit specific learning requirements of The Common Core State Standards for Mathematics. These expectations and...
    $19.99

    Add to Cart The item has been added
  • Basic Set Theory
    Add to Cart The item has been added

    Basic Set Theory

    The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology...
    $113.00

    Add to Cart The item has been added
  • Goedel's Proof
    Add to Cart The item has been added

    Goedel's Proof

    In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions...
    $54.99

    Add to Cart The item has been added
  • A Bridge to Advanced Mathematics
    Add to Cart The item has been added

    A Bridge to Advanced Mathematics

    Most introduction to proofs textbooks focus on the structure of rigorous mathematical language and only use mathematical topics incidentally as illustrations and exercises. In contrast, this book...
    $206.00

    Add to Cart The item has been added
  • Introduction to Proof Through Number Theory
    Add to Cart The item has been added

    Introduction to Proof Through Number Theory

    Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and out-of-date pop culture references. You'll learn some really cool mathematics to...
    $206.00

    Add to Cart The item has been added
  • Residuated Structures in Algebra and Logic
    Add to Cart The item has been added

    Residuated Structures in Algebra and Logic

    This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra...
    $298.00

    Add to Cart The item has been added
  • Extensions of the Axiom of Determinacy
    Add to Cart The item has been added

    Extensions of the Axiom of Determinacy

    This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book...
    $160.00

    Add to Cart The item has been added
  • Trends in Set Theory
    Add to Cart The item has been added

    Trends in Set Theory

    This volume contains the proceedings of Simon Fest, held in honor of Simon Thomas's 60th birthday, from September 15-17, 2017, at Rutgers University, Piscataway, New Jersey. The topics covered...
    $277.00

    Add to Cart The item has been added
  • Computability Theory
    Add to Cart The item has been added

    Computability Theory

    What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at...
    $137.00

    Add to Cart The item has been added
  • Basics of MATLAB and Beyond Basics of MATLAB and Beyond
    Add to Cart The item has been added

    Basics of MATLAB and Beyond

    As MATLAB becomes nearly ubiquitous in industry and academia, it is a near necessity that professionals and students have a level of competence in its use. Until the publication of this text,...
    $231.00

    Add to Cart The item has been added
  • Combinatorial Scientific Computing Combinatorial Scientific Computing
    Add to Cart The item has been added

    Combinatorial Scientific Computing

    This volume explores the latest research on creating algorithms and software tools to solve key combinatorial problems on large-scale high-performance computing architectures. It focuses on load...
    $347.00

    Add to Cart The item has been added
  • The Method of Socratic Proofs The Method of Socratic Proofs
    Add to Cart The item has been added

    The Method of Socratic Proofs

    This book contains a systematic and formal attempt to model solutions to problems such as: Is it possible to prove a question? Is it possible to prove something by the use of questions? Do the...
    $298.00

    Add to Cart The item has been added
  • An Introduction to Random Sets An Introduction to Random Sets
    Add to Cart The item has been added

    An Introduction to Random Sets

    Random sets as models for set-valued observations, are a new type of data proving useful in areas such as survey sampling, biostatistics, and intelligent systems. This is the first text to explore...
    $373.00

    Add to Cart The item has been added
  • Designing Scientific Applications on GPUs Designing Scientific Applications on GPUs
    Add to Cart The item has been added

    Designing Scientific Applications on GPUs

    Many of today's complex scientific applications now require a vast amount of computational power. General purpose graphics processing units (GPGPUs) enable researchers in a variety of fields to...
    $487.00

    Add to Cart The item has been added
  • Mathematics for Computer Algebra Mathematics for Computer Algebra
    Add to Cart The item has been added

    Mathematics for Computer Algebra

    This book corresponds to a mathematical course given in 1986/87 at the University Louis Pasteur, Strasbourg. This work is primarily intended for graduate students. The following are necessary...
    $116.00

    Add to Cart The item has been added
  • The Collected Works of J. Richard Büchi The Collected Works of J. Richard Büchi
    Add to Cart The item has been added

    The Collected Works of J. Richard Büchi

    J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical," because he more or less...
    $122.00

    Add to Cart The item has been added
  • Physical Arithmetic Physical Arithmetic
    Add to Cart The item has been added

    Physical Arithmetic

    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it.This work is in the "public domain in the United States of...
    $46.00

    Add to Cart The item has been added
  • Arithmetic Without a Pencil Arithmetic Without a Pencil
    Add to Cart The item has been added

    Arithmetic Without a Pencil

    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it.This work is in the "public domain in the United States of...
    $39.00

    Add to Cart The item has been added
  • Methods In Arithmetic Methods In Arithmetic
    Add to Cart The item has been added

    Methods In Arithmetic

    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it.This work is in the "public domain in the United States of...
    $48.00

    Add to Cart The item has been added
  • Everyday Number Stories Everyday Number Stories
    Add to Cart The item has been added

    Everyday Number Stories

    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it.This work is in the "public domain in the United States of...
    $49.00

    Add to Cart The item has been added
  • Abstract Sets and Finite Ordinals Abstract Sets and Finite Ordinals
    Add to Cart The item has been added

    Abstract Sets and Finite Ordinals

    This text unites logical and philosophical aspects of set theory in a manner intelligible to mathematicians without training in formal logic and to logicians without a mathematical background. 1961...
    $20.00

    Add to Cart The item has been added
  • Theory of Finite and Infinite Graphs Theory of Finite and Infinite Graphs
    Add to Cart The item has been added

    Theory of Finite and Infinite Graphs

    To most graph theorists there are two outstanding landmarks in the history of their subject. One is Euler's solution of the Konigsberg Bridges Problem, dated 1736, and the other is the appearance of...
    $122.00

    Add to Cart The item has been added
  • Finite Element Methods in CAD Finite Element Methods in CAD
    Add to Cart The item has been added

    Finite Element Methods in CAD

    The finite element method (FEM) has been understood, at least in principle, for more than 50 years. The integral formulation on which it is based has been known for a longer time (thanks to the work...
    $92.00

    Add to Cart The item has been added
  • Mathematical Aspects of Scientific Software Mathematical Aspects of Scientific Software
    Add to Cart The item has been added

    Mathematical Aspects of Scientific Software

    Since scientific software is the fuel that drives today's computers to solve a vast range of problems, huge efforts are being put into the development of new software, systems and algorithms for...
    $122.00

    Add to Cart The item has been added
  • Large Scale Scientific Computing Large Scale Scientific Computing
    Add to Cart The item has been added

    Large Scale Scientific Computing

    In this book, the new and rapidly expanding field of scientific computing is understood in a double sense: as computing for scientific and engineering problems and as the science of doing such...
    $122.00

    Add to Cart The item has been added
  • Fuzzy Sets Fuzzy Sets
    Add to Cart The item has been added

    Fuzzy Sets

    As the systems which form the fabric of modern society become more complex and more interdependent, the need for the understanding of the behavior of such systems becomes increasingly more essential...
    $92.00

    Add to Cart The item has been added
  • An Introduction to Formal Language Theory An Introduction to Formal Language Theory
    Add to Cart The item has been added

    An Introduction to Formal Language Theory

    The study of formal languages and of related families of automata has long been at the core of theoretical computer science. Until recently, the main reasons for this centrality were connected with...
    $92.00

    Add to Cart The item has been added
  • Topology, Calculus and Approximation Topology, Calculus and Approximation
    Add to Cart The item has been added

    Topology, Calculus and Approximation

    Presenting basic results of topology, calculus of several variables, and approximation theory which are rarely treated in a single volume, this textbook includes several beautiful, but almost...
    $65.00

    Add to Cart The item has been added
  • Logic and Structure Logic and Structure
    Add to Cart The item has been added

    Logic and Structure

    Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel's...
    $171.00

    Add to Cart The item has been added
  • Mathematics in Computing Mathematics in Computing
    Add to Cart The item has been added

    Mathematics in Computing

    This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for...
    $125.00

    Add to Cart The item has been added
Mathematical foundations