(1) Feasible computational methods in the propositional calculus. (2) Lecture notes on mathematical logic. (3) Computability. Together 3 items
Davis, Martin
From Jeremy Norman's historyofscience, Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since January 9, 1999