Primer curso de lógica matemática
Suppes, Patrick
Primer curso de lógica matemática - ix, 278 p. 21 cm.
1. Simbolización de proposiciones - 2. Inferencia lógica - 3. Certeza y válidez - 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
978-84-291-5150-3
510.6 Lógica matemática
Primer curso de lógica matemática - ix, 278 p. 21 cm.
1. Simbolización de proposiciones - 2. Inferencia lógica - 3. Certeza y válidez - 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
978-84-291-5150-3
510.6 Lógica matemática