Author: A Course on Mathematical Logic