Foundations: logic, language, and mathematics - Leblanc, Hugues, 1924-; Mendelson, Elliott, 1931-; Orenstein, Alex (Language of science (Kluwer), 1984)