Mathematical Foundations

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, th...

Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the desig...

Working out solutions to polynomial equations is a mathematical problem that dates from antiquity. Galois developed a theory in which the obstacle ...

X Marks the Spot is written from the point of view of the users of mathematics. Since the beginning, mathematical concepts and techniques (such as ...

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasi...

Originally published in 1973. This book is directed to the student of philosophy whose background in mathematics is very limited. The author strike...

Praise for the First Edition"Luck, Logic, and White Lies teaches readers of all backgrounds about the insight mathematical knowledge can bring and ...

Originally published in 1967. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-value...

There are thousands of books relating to poker, blackjack, roulette and baccarat, including strategy guides, statistical analysis, psychological st...

Longlisted for the BSHS Hughes Prize 2021A New Year’s Present from a Mathematician is an exciting book dedicated to two questions: What is it that ...

Number Systems: A Path into Rigorous Mathematics aims to introduce number systems to an undergraduate audience in a way that emphasises the importa...

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out ...

This monograph, for the first time in book form, considers the large structure of metric spaces as captured by bornologies: families of subsets tha...

Combining knowledge with strategies, Data Structure Practice for Collegiate Programming Contests and Education presents the first comprehensive boo...

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas...

Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early ...

This book explains, in lay terms, the surprisingly simple system of mathematical logic used in digital computer circuitry. Anecdotal in its style a...

The only text available on graph theory at the freshman/sophomore level, it covers properties of graphs, presents numerous algorithms, and describe...

Provides a timely and important introduction to fuzzy cluster analysis, its methods and areas of application, systematically describing different f...

A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, c...

Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics,...

Learn how to develop your reasoning skills and how to writewell-reasoned proofs Learning to Reason shows you how to use the basic elements ofmathe...

A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objectiv...

Berto's highly readable and lucid guide introduces students and the interested reader to Gödel's celebrated Incompleteness Theorem, and discusses s...

Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive...

Is mathematics a highly sophisticated intellectual game in which the adepts display their skill by tackling invented problems, or are mathematician...

Berto's highly readable and lucid guide introduces students and the interested reader to Gödel's celebrated Incompleteness Theorem, and discusses s...

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic In 1931 Kurt Gödel published his fundamental paper, "On Formall...

This book is unique as the first effort to expound on the subject of systematic scaling analysis. Not written for a specific discipline, the book t...

A straightforward guide to logic conceptsLogic concepts are more mainstream than you may realize. There’s logic every place you look and in almost ...

Few American lives have been as celebrated--or as closely scrutinized--as that of Benjamin Franklin. Yet until now Franklin's biographers have down...

Fourier analysis has many scientific applications - in physics, number theory, combinatorics, signal processing, probability theory, statistics, op...

Conditional reasoning is reasoning that involves statements of the sort If A (Antecedent) then C (Consequent). This type of reasoning is ubiquitous...

How many different ice-cream sundaes can you make? With 6 ingredients to choose from, there are so many combinations. Read all about the sundaes th...