University of Calgary
UofC Navigation

PHIL 377 - Elementary Formal Logic - Spring 2008

Sentential and first-order logic, with identity and descriptions, from both deductive and semantic points of view. Completeness, compactness, decidability for sentential logic.
This course may not be repeated for credit.

Hours

  • H(3-1T)

Notes

  • Not open to students with credit in Philosophy 279.

Sections

This course will be offered next in Summer 2008.
Powered by UNITIS. More features.
Connect with Us Twitter Facebook LinkedIn