Back to Search Start Over

Introduction to Mathematical Logic (PMS-13)

Authors :
Alonzo Church
Source :
Introduction to Mathematical Logic (PMS-13)
Publication Year :
1991
Publisher :
Princeton University Press, 1991.

Subjects

Subjects :
Mathematical logic
Horn clause
Computer science
Computational logic
Calculus
Dynamic logic (modal logic)
Abstract model theory

Details

Database :
OpenAIRE
Journal :
Introduction to Mathematical Logic (PMS-13)
Accession number :
edsair.doi...........8ec5ac29055529b023bf366b3a0bcc3d

Tools

Authors Abstract Subjects Details