Reviews matching “Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems”

1 result

Book	Author	Reviewer	Journal	Date
Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems	P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics	David C. Cooper	The Journal of Symbolic Logic	1967