Foundations: logic, language and mathematics - Leblanc, Hugues (Synthese ;, 1984)