STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Martin Davis | lit.salon
Martin Davis
Born:
1928
No bio available.
Add one in Open Library.
Born:
1928
Books by Martin Davis (50 max)
+ shelf
+ list
Feasible computational methods in the propositional calculus
1958
Martin Davis, Hilary Putnam
