PHIL 610: Symbolic Logic (3)

Propositional calculus, predicate calculus, consistency, decidability of formal systems, the paradoxes and number concept will be covered. LEC
View current sections...