Precis of Mathematical Logic by Bochenski, J.M.