0% found this document useful
Loading
Professional Documents
Culture Documents
Document
A Note On The Complexity of Proofs in The Propositional Fragments of KE and KI
Added by melo_inquadri
Document
Classical Natural Deduction
Added by melo_inquadri
Document
Classical Natural Deduction: Marcello D'Agostino
Added by melo_inquadri
Document
Investigations
Added by melo_inquadri