A Computing Procedure for Quantification Theory (Q29030829)
Jump to navigation
Jump to search
scientific article (publication date: July 1960)
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Computing Procedure for Quantification Theory |
scientific article (publication date: July 1960) |
Statements
A Computing Procedure for Quantification Theory (English)
1 reference
Hilary Putnam
1 reference
26 March 2017
Martin Davis
1 reference
1 July 1960
1 reference
1 reference
7
1 reference
3
1 reference
201-215
1 reference
Identifiers
1 reference