Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Bibliographie
(en) Dag Prawitz, Natural deduction : A proof-theoretical study, Mineola, New York, Dover Publications, (1re éd. 1965), 113 p. (ISBN978-0-486-44655-4, lire en ligne)