The language of logic - Freudenthal, Hans, 1905-1990 (Elsevier Publishing Company, 1966)