Next: About this document Up: Lógica e
Fundamentos da Previous: Teorias Matemáticas
Sistema axiomático. Indução. Teoremas.
Bibliografia
- A. Franco de Oliveira, Lógica e Aritmética, Gradiva
1996
- J. E. Rubin, Mathematical Logic: Applications and
Theory, Saunders College Publishing 1990
Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997