Abstract
Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 87–94. - Volume 32 Issue 1
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have