Article contents
Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 201–215.
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1996
- 1
- Cited by