Mathematical Foundations

A comprehensive philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theo...

Bob Hale and Crispin Wright draw together here the key writings in which they have worked out their distinctive neo-Fregean approach to the philoso...

This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory", the study of bounded arithmetic, propo...

The Philosophy of Mathematics Today gives a panorama of the best current work in this lively field, through twenty essays specially written for thi...

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 disc...

This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreove...

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of ma...

Charles Chihara's new book develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking feature...

The nature of truth in mathematics is a problem which has exercised the minds of thinkers from at least the time of the ancient Greeks. The great a...

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitioni...

Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logi...

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its ...

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in comp...

The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods through...

Topos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can b...

Set theory is concerned with the foundation of mathematics. In the original formulations of set theory, there were paradoxes contained in the idea ...

This textbook provides a first course in set theory suitable for final year undergraduates of mathematics. The author develops the subject from fir...

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas by th...

This book studies the universal constructions and properties in categories of commutative algebras, bringing out the specific properties that make ...

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it diff...

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer scie...

This book is an exposition of the central features of one of the most developed and sophisticated parts of modern model theory. Geometric stability...

The Philosophy of Mathematics Today gives a panorama of the best current work in this lively field, through twenty essays specially written for thi...

Future Data and Knowledge Base Systems will require new functionalities: richer data modelling capabilities, more powerful query languages, and new...