This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositionaland first-order logic …
