Principles of Mathematical Logic 论文
1951The Mathematical Gazette引用 254
Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems
摘要
The sentential calculus The calculus of classes (monadic predicate calculus) The restricted predicate calculus The extended predicate calculus Editor's notes Bibliography Index.