Concepedia

Foundations of Mathematical Logic.

Elliott Mendelson, Haskell B. Curry

American Mathematical Monthly · 1965 · 456 citations · 0 references

Concepts

HumanitiesComputer ScienceMathematicsFormal MethodsLogicPhilosophy Of MathematicsFirst-order LogicMathematical LogicModel TheoryPhilosophical LogicPhilosophy Of LogicPredicate LogicBoolean-valued ModelsComputational LogicFormal Proof Systems