Foundations--logic, language, and mathematics - Leblanc, Hugues, 1924-; Mendelson, Elliott; Orenstein, Alex (D. Reidel Pub., 1984)