Introduction to the theory of logic
Autor principal: | |
---|---|
Formato: | Libro |
Idioma: | Inglés |
Publicado: |
Boulder, Colo. :
Westview Press
c2000
|
Materias: | |
Ver en Universidad de Navarra: | https://innopac.unav.es/record=b15629703*spi |
Tabla de Contenidos:
- Ch. 1. The Elements
- Ch. 2. Propositional Logic
- Ch. 3. First-Order Logic: Syntax and Semantics
- Ch. 4. Deduction
- Ch. 5. Soundness and Completeness
- Ch. 6. Cardinality
- Ch. 7. Expressive Limitations
- Ch. 8. Decidability.