On implicational definitions
From MaRDI portal
Publication:2533870
DOI10.1007/BF02126748zbMath0178.30505MaRDI QIDQ2533870
Publication date: 1958
Published in: Studia Logica (Search for Journal in Brave)
Related Items (3)
Quantifiers in ontology ⋮ Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term ⋮ On Lesniewski's elementary ontology
Cites Work
This page was built for publication: On implicational definitions