Primer curso de lógica matemática
Material type:
- 9788429151503
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | F.4.1 SUP (Browse shelf(Opens below)) | Available | DIF-04276 |
Incluye índice.
Prefacio -- 1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Cereteza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad -- 7. Un sistema matemático simple: axiomas de la adición -- 8. Generalización universal -- Índice alfabético