Back to Search Start Over

I. The Propositional Calculus

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

Subjects

Subjects :
Propositional variable
Propositional formula
Natural deduction
Negation introduction
Zeroth-order logic
Well-formed formula
Calculus
Propositional calculus
Satisfiability
Mathematics

Details

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

Tools

Authors Abstract Subjects Details