Publication | Closed Access
Principles of Mathematical Logic
254
Citations
0
References
1951
Year
Algebraic LogicNon-classical LogicEngineeringAutomated ReasoningType TheoryFormal MethodsMonadic Predicate CalculusLogical AnalysisNotes Bibliography IndexFirst-order LogicComputer ScienceLanguage StudiesSemanticsHigher-order LogicSentential CalculusLambda CalculusLinguistics
The sentential calculus The calculus of classes (monadic predicate calculus) The restricted predicate calculus The extended predicate calculus Editor's notes Bibliography Index.