A precis of mathematical logic - Bochenski, Joseph M., 1902-1995 (Synthese library, 1959)