The Foundations of Mathematics by Kenneth Kunen
File Type :PDF Number of Pages :148
Description This book describes some
basic ideas in set theory, model theory, proof theory and recursion theory,
these are all parts of what is called mathematical logic. Topics covered
includes: Set Theory, Induction and Recursion on the Ordinals, Cardinal
Arithmetic, Model Theory and Proof Theory, FirstOrder Logic Semantics, Formal
Proofs, Elementary Submodels and Recursion Theory.
