CIS 217 - Language and Symbolic Logic

3 Credit(s)

Relation of language, logic and theory of logical analysis; axiomatic development of elementary logistic system; consistency, completeness and independence. Cross-listed with PHIL 217.