Author: A Course on Mathematical Logic, Second Edition