Loading...
|
PHILOS 423
Symbolic Logic
|
|
|
Advanced analysis of deductive procedures; sentential connectives, quantifiers, classes, and relations; the notion of formal system; introduction to axiomatics and metalogical proofs. No prerequisites.
|
Faculty:
College of Arts & Sciences
|
Department:
Philosophy
|
|
Print