Introduction to mathematical logic - A problem solving course

Simple item page
dc.creatorMiller, Arnold W.
dc.date1996-01-16
dc.date.accessioned2026-07-07T09:15:26Z
dc.date.available2026-07-07T09:15:26Z
dc.descriptionThis 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
dc.identifierhttps://arxiv.org/abs/math/9601203
dc.identifierhttp://arxiv.org/abs/math/9601203
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/153019
dc.subjectLogic
dc.titleIntroduction to mathematical logic - A problem solving course
dc.typetext

Files

Collections

arXiv