PHL 673 Symbolic Logic (4)

Study of propositional calculus and monadic and polyadic quantification, with some focus on propositional calculus as an axiomatic system. Offered infrequently.

Back to top