A precis of mathematical logic - Bochenski, J.M., 1902- (D. Reidel, 1959)