Independent Axioms for the Implicational
β
Robert K. Meyer; Zane Parks
π
Article
π
1972
π
John Wiley and Sons
π
English
β 270 KB