Mathematical foundations

Master All Subjects on the TABE Level DWhether you hope to qualify for a job, take the first steps toward earning your GED, or demonstrate your abilities for school placement, a high score on the TABE Level D will help you reach your goal.

Now updated!

Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.

A short introduction ideal for students learning category theory for the first time.

In this groundbreaking volume, leading philosophers and mathematicians explore Kurt Gödel''s work on the foundations and philosophy of mathematics.

A short introduction ideal for students learning category theory for the first time.

Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.

In this groundbreaking volume, leading philosophers and mathematicians explore Kurt Gödel''s work on the foundations and philosophy of mathematics.

This book explains how burden of proof and presumption work as powerful devices in argumentation, based on studying many clearly explained legal and non-legal examples.

This book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.

This book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.

This book explains how burden of proof and presumption work as powerful devices in argumentation, based on studying many clearly explained legal and non-legal examples.

An abridged text of Principia Mathematica, suitable for an introductory study of logic.

A collection of essays celebrating the influence of Alan Turing''s work in logic, computer science and related areas.

A collection of essays celebrating the influence of Alan Turing''s work in logic, computer science and related areas.

This book offers a comprehensive exploration of cutting-edge research and developments in the field of cybersecurity.

Papers based on a series of workshops where prominent researchers present exciting developments in set theory to a broad audience.

This 2006 book addresses the comprehensive introduction to the mathematical principles needed by modern social scientists.

This book provides an accessible and at the same time scientifically rigorous introduction to the principles of logical reasoning.

Papers based on a series of workshops where prominent researchers present exciting developments in set theory to a broad audience.

A dozen world-renowned researchers explore the concept of infinity through the prism of mathematics and beyond.

This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.

Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

This book provides an accessible and at the same time scientifically rigorous introduction to the principles of logical reasoning.

A treatise on finite automata theory that both gives a rigorous account and illuminates its real meaning.

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.

Comprehensive and up-to-date coverage of topological graph theory.

The mathematical methods that physical scientists need for solving problems are clearly set out in this tutorial-style textbook.

A treatise on finite automata theory that both gives a rigorous account and illuminates its real meaning.

This book unifies and synthesizes research on graph structure over the last 25 years.

This tutorial-style textbook develops the basic mathematical tools needed by undergraduates to solve problems in the physical sciences.

Combinatorics meets number theory in this stimulating stroll through the zetas.

A rigorous introduction to real analysis for undergraduates.

This volume explores the nature of mathematical proof in a range of historical settings, providing the first comprehensive history of proof.

This is the concluding volume of the second edition of the standard text on design theory.

This volume explores the nature of mathematical proof in a range of historical settings, providing the first comprehensive history of proof.

A rigorous introduction to real analysis for undergraduates.

A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.

This is the first volume of the second edition of the standard text on design theory.

This book offers a new, algebraic, approach to set theory.

Containing never-before-published material, this fascinating account sheds new light on one of the greatest figures of the twentieth century.

This is a collection of 35 articles on covering topics such as finite projective spaces, generalised polygons, strongly regular graphs, diagram geometries and polar spaces.

This book will make an excellent introduction to the subject for graduate students and research workers in set theory and analysis.

This is an introduction to, and survey of, the constructive approaches to pure mathematics.

This book comprises five expository articles and two research papers on topics of current interest in set theory and the foundations of mathematics.

An important resource for all researchers with an interest in algebraic graph theory.

Account of current research in model theory and its connections with algebra and analysis; contributions from leaders in the field.

Account of current research in model theory and its connections with algebra and analysis; contributions from leaders in the field.

A thorough introduction to a burgeoning interdisciplinary field, with an emphasis on foundational material.