Metamath Proof Explorer

Table of Contents - 1.3.7. Derive Nicod's Axiom from Lukasiewicz's First Sheffer Stroke Axiom

1. lukshef-ax1
2. lukshefth1
3. lukshefth2
4. renicax