Introduction to mathematical logic - A problem solving course
From MaRDI portal
Abstract: This is a set of 288 questions written for a Moore-style course in Mathematical Logic. I have used these (or some variation) four times in a beginning graduate course. Topics covered are: propositional logic axioms of ZFC wellorderings and equivalents of AC ordinal and cardinal arithmetic first order logic, and the compactness theorem Lowenheim-Skolem theorems Turing machines, Church's Thesis completeness theorem and first incompleteness theorem undecidable theories second incompleteness theorem
This page was built for publication: Introduction to mathematical logic - A problem solving course
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6502073)
