Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Martin Davis — Author | Lex | Lex
M
Martin Davis
1928
1 work on record
Works
Feasible computational methods in the propositional calculus
Feasible computational methods in the propositional calculus