Symbolic Logic B

SymbolicLogicBSyllabus2008

NaturalNumbersStructure

TheFirstSemesterinOneHour

PreviewofIncompleteness

ASimpleTheory

TheTheory

ExpressibilitywithintheTheory

SolutionstotheFirstHomework

RepresentableRelations

EnumerabilityandRepresentableFunctions

ACatalogofRepresentableRelationsandFunctions

SolutionstoProblemsTwoThreeOneandFourPage223

ArithmetizingLogicalSyntax

SolutionstoProblemsSixandFivePage223

SolutionstoProblemsEightthroughTenPage224

SolutionstoProblemFourPage232andAssignmentforPage231

HaltingProbleminScheme

-- ShaughanLavine - 12 Jan 2008