Feasible computational methods in the propositional calculus
By: by M. Davis and H. Putnam
Publisher: Rensselaer Polytechnic Institute, Research Division
Published: 1958
Place of publication: Troy, N.Y
Language: eng
Number of pages: 62
Subjects: Symbolic and mathematical Logic
Other titles: Propositional calculus.
Notes: Bibliography: ℓ. 62.