L11140

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

Name, initials: 
Lukasiewicz, J.
Date: 
1948
Publisher: 
Hodges, Figgis, & Co., Dublin
Volume: 
52, Sect. A pt. 3
Object type: 
Paper
Subject: 
510
X