Mathematical Foundations

Yearning for the Impossible: The Surprising Truth of Mathematics, Second Edition explores the history of mathematics from the perspective of the cr...

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's ...

The term fuzzy logic (FL), as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejecti...

The ultimate lateral-thinking challenge. If you relish a serious mental workout, this collection of 100 brain teasers will dem...

Vedic Mathematics unfolds a new method of approach to mathematics. It is based on sixteen one line formulae known as sutras and thirteen one line...

Conceptual progress in fundamental theoretical physics is linked with the search for the suitable mathematical structures that model the physical s...

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can b...

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can b...

Features step-by-step examples based on actual data and connects fundamental mathematical modeling skills and decision making concepts to everyday ...

Mathematics is a science that concerns theorems that must be proved within a system of axioms and definitions. With this book, the mathematical nov...

This book analyzes the generation of the arrow-categories of a given category, which is a foundational and distinguishable Category Theory phenomen...

Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The books nine chapters offe...

The logician Kurt Gödel (19061978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, ...

Finite-state methods are the most efficient mechanisms for analysing textual and symbolic data, providing elegant solutions for an immense number o...