Search Results
Logic19aMetalogicConsistent
Logic18aMetalogic
Rules for natural deduction: copy or repeat