Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Dordrecht, Holland :
D. Reidel,
c1962.
|
| Series: | Synthese library
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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.