Advanced Symbolic Logic

Presupposes propositional and quantificational logic as a basis of further deductive development with special attention to selected topics: alternative systems, modal and deontic logic, inductive logic, the grammar of formalized languages, paradoxes, and foundations of mathematics.