Logique moderne, Fascicule I, Logique des propositions et des prédicats, déduction naturelle - Grize, Jean-Blaise (De Gruyter Mouton, 2017)
Description based on online resource; title from PDF title page (publisher's Web site, viewed 26. Sep 2017)