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