A reduction of the axioms for the theory of prepositional types

DOI10.4064/fm-52-3-345-350zbMath0127.00701OpenAlexW1498831097WikidataQ114573867 ScholiaQ114573867MaRDI QIDQ5332210

Could not fetch data.

Publication date: 1963

Published in: (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213715

zbMATH Keywords

Could not fetch data.