The top documents tagged [v2deduction theorem]

Natural Deduction in the Metamath Proof Language
Documents Natural Deduction in the Metamath Proof Language

63 views