Concise survey of mathematical logic
John Stillwell · Journal of the Australian Mathematical Society · 1977
Abstract This paper contains proofs of the compactness, completeness and Löwenheim-Skolem theorems for predicate logic, together with their application to nonstandard numbers; proofs of undecidability in predicate logic and number theory, and the Gödel incompleteness theorem.