Proceedings of the Royal Irish Academy: The shortest axiom of the implicational calculus of propositions

52, Sect. A pt. 3

Lukasiewicz, J.
Menu