Logique moderne, Fascicule I, Logique des propositions et des pr?dicats, d?duction naturelle