A propositional calculus in which three mutually undefinable functors are used as primitive terms

DOI10.1007/BF02125284zbMath0311.02013OpenAlexW50148594MaRDI QIDQ1219262

Czeslaro Lejewski

Publication date: 1968

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02125284

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (1)

Czesław Lejewski: Propagator of Lvov-Warsaw Ideas Abroad

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A propositional calculus in which three mutually undefinable functors are used as primitive terms