Help on query formulation
A survey of mathematical logic. Pt. 2: post-1931. (English)
Math. Gaz. 80, No. 488, 286-297 (1996).
A whirlwind tour. Most of the discussion centers around Gödel’s incompleteness theorems and recursion/computability. A brief nod is also given to nonstandard analysis and to Gödel and Cohen on AC and GCH. (ZfM)
Classification: E35 I95
Valid XHTML 1.0 Transitional Valid CSS!