Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Feasible computational methods in the propositional calculus by Martin Davis, Hilary Putnam | Lex | Lex
Feasible computational methods in the propositional calculus
Feasible computational methods in the propositional calculus
Martin Davis
Hilary Putnam
Subjects
Symbolic and mathematical Logic