Logika dan Himpunan
This course discusses axiomatic systems, Introduction to Set Theory: set operations, relations and functions and their properties, and infinity, the language of mathematical logic, propositions, denial, truth tables and tautology, contradiction and contingency, mathematical reasoning, principles and proof method.