file.pdf (1.22 MB)
Download fileNormal Natural Deduction Proof (In Non-Classical Logics)
journal contribution
posted on 2002-03-27, 00:00 authored by Wilfried Sieg, Saverio CittadiniWilfred Sieg and Saverio Cittadini. Normal Natural Deduction Proof (In Non-Classical Logics.