A first course in logic. (2018)