Towards a Canonical Classical Natural Deduction System.

Jos Esprito Santo

Browse the full CSL paper archive.