A thorough and rigorous survey of essential topics in modern logic consisting of twentieth-century developments in logical research, with special emphasis on: (a) model theory and first-order completeness, (b) incompleteness and un-decidability results of Gödel and Church, and (c) recursive function theory.