by Thomas Piecha, Peter Schroeder-Heister
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages