Prehistory of research into foundations -- Aristotle's theory of science -- Historical development of symbolic logic and formalised axiomatics -- Introduction -- Extension of the system of natural numbers -- Theory of natural numbers -- Axiomatics of fundamental theories of modern mathematics -- Introduction -- Survey of symbolic logic -- Finitary theory of proof -- Syntax -- Semantics -- Logicism -- Cantorism -- Intuitionism -- Nominalism -- Paradoxes of logic and set theory and their solution -- Completeness theorems for logical systems -- Calculus of systems and models -- Further applications of topological methods -- Theory of recursive functions and the negative results concerning the decision problem -- Metamathematics, philosophy of mathematics and general philosophy.

Includes bibliographical references and indexes.

Print version record.

Elsevier ScienceDirect All Books