Back to Search Start Over

Existence and Description in Formal Logic

Authors :
Alonzo Church
Ralph Schoenman
Dana Scott
Source :
The Journal of Symbolic Logic. 38:166
Publication Year :
1973
Publisher :
Cambridge University Press (CUP), 1973.

Subjects

Subjects :
Discrete mathematics
Predicate logic
Philosophy
Proof calculus
Philosophy of logic
Description logic
Logic
Computer science
Classical logic
Computational logic
Calculus
Dynamic logic (modal logic)
Autoepistemic logic

Details

ISSN :
00224812
Volume :
38
Database :
OpenAIRE
Journal :
The Journal of Symbolic Logic
Accession number :
edsair.doi...........cf3e930a6971d62b3493a57d355ae89e

Tools

Authors Abstract Subjects Details