Foundations: logic, language and mathematics - Leblanc, Hugues (D. Reidel Publishing Company, 1984)