Concepedia

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Unknown author(s)

Journal of Symbolic Logic · 1988 · 452 citations · 0 references

Concepts

HumanitiesComputer ScienceMathematicsApplied MathematicsFormal MethodsLogicDeductive ReasoningFirst-order LogicMathematical LogicPredicate LogicProof TheoryType SystemsComputational LogicProof-theoretic TruthType Theory

Abstract

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp. - Volume 53 Issue 1