A reduction of the axioms for the theory of prepositional types
Open Access
- 1 January 1963
- journal article
- Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
- Vol. 52 (3) , 345-350
- https://doi.org/10.4064/fm-52-3-345-350
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: