00989 a2200217 45000010006000000050017000060080041000230030015000640400040000790800033001192450042001520200022001942640033002163000023002495050317002720410008005891000020005977000018006177000031006358560105006663364320260407155628.0260407a1992 arg spa dAR-UNSa-BCEJYS aAR-UNSa-BCEJYSbspacAR-UNSa-BCEJYS a510.6xLógica matemática10aPrimer curso de lógica matemática a978-84-291-5150-3 1aBarcelona :bRevertéc1992 aix, 278 p.c21 cm. a1. 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 aspa1 aSuppes, Patrick1 aHill, Shirley1 aLinés Escardó, Enrique41uhttps://biblioeco.unsa.edu.ar/pmb/images/libros/logica_matematica.jpgyImagen de portadaqimage/jpeg