Mathematical logic
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Oxford :
Oxford University Press,
2007
|
| Colección: | Oxford Texts in logic ;
3 |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- 2 Informal natural deduction
- 3 Propositional logic
- 4 First interlude: Wason’s selection task
- 5 Quantifier-free logic
- 6 Second interlude: the Linda problem
- 7 First- order logic
- 8 Postlude
- Appendix A The natural deduction rules
- Appendix B Denotational semantics
- Appendix C Solutions to some exercises