Abstract
Hao Wang. Mechanical mathematics and inferential analysis. 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. 1–20. - 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