Logique des propositions et des predicats, deduction naturelle

Bok av Jean-Blaise Grize