👤

Martin Davis

b. 1928 ยท 1 book

Books by Martin Davis

Feasible computational methods
Feasible computational methods in the propositional calculus
1958