|
423 Symbolic Logic (3) Advanced analysis of deductive procedures; sentential connectives, quantifiers, classes, and relations; the notion of formal system; introduction to axiomatics and metalogical proofs. No prerequisites.
|
UMKC is an equal opportunity/affirmative action institution; Part of the University of Missouri System; Reporting Possible Copyright Infringement.
