Precis of Mathematical Logic door Bochenski, J.M.