Back to Search Start Over

Burton Dreben and John Denton. A supplement to Herbrand. The journal of symbolic logic, vol. 31 (1966), pp. 393–398

Authors :
Peter B. Andrews
Source :
Journal of Symbolic Logic. 32:521-522
Publication Year :
1968
Publisher :
Cambridge University Press (CUP), 1968.

Subjects

Subjects :
Mathematical logic
Philosophy
Logic
business.industry
Computer science
Artificial intelligence
business

Details

ISSN :
19435886 and 00224812
Volume :
32
Database :
OpenAIRE
Journal :
Journal of Symbolic Logic
Accession number :
edsair.doi...........f530a71508f014bb5b74e0d6198715df
Full Text :
https://doi.org/10.2307/2270186
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details