Introduction to mathematical logic
Elliott Mendelson.
4th ed.
London : Chapman & Hall, 1997.
x, 440 págs. ; 24 cm.
ISBN: 0412808307
Incluye referencias bibliográficas (p. [412]-423) e índices.
Reseña: MathSciNet, 99b:03002
Contenido
- 1. The propositional calculus
- 2. Quantification theory
- 3. Formal number theory
- 4. Axiomatic set theory
- 5. Computability.