An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
- 1 January 1956
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 2 (10-15) , 166-172
- https://doi.org/10.1002/malq.19560021003
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: