Thinking...

Introduction to the metatheory of logical systems. Completeness, compactness, Lowenheim-Skolem, and undecidability theorems for first-order logic. ...

Description

Introduction to the metatheory of logical systems. Completeness, compactness, Lowenheim-Skolem, and undecidability theorems for first-order logic. ...

PHIL 379

PHIL 379

Thinking...

Description

Study Resources

Reviews

Discussions

Similar courses

Discussions

Syllabus

https://calendar.ucalgary.ca/courses/1318121