Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Evert W. Beth.
Dordrecht, Holland : D. Reidel, ©1962.
xiv, 170 págs. ; 23 cm.
Serie: Synthese library
Bibliografía: p. 164-167.
Reseña: MathSciNet, 28 #3920
Contenido
- 1. Purely implicational logic
- 2. Full sentential logic
- 3. Theory of quantification, equality, and functionality
- 4. Completeness of elementary logic
- 5. The formalization of arithmetic and its limitations
- 6. The theory of definition
- 7. On machines which prove theorems
- Appendix: Supplementary explanations.