Un nouveau calcul de déduction naturelle dû à F. B. Fitch

Jean-Blaise Grize

pp. 328-367


This document is unfortunately not available for download at the moment.

Not implemented yet !