Concepedia
American Mathematical Monthly · 1937 · 208 citations · 0 references
Applied LogicNon-classical LogicAutomated ReasoningNew FoundationsMathematical FoundationsFirst-order Logic