A Relevant Analysis of Natural Deduction

S Ishtiaq and DJ Pym

Details

Publication typeArticle
Published inJournal of Logic and Computation
> Publications > A Relevant Analysis of Natural Deduction