TY - BOOK AU - Suppes,Patrick AU - Hill,Shirley TI - Primer curso de logica matemática SN - 9789686708011 U1 - 511.3 PY - 2010/// CY - Mexico PB - Reverte Ediciones KW - Matemáticas N1 - Simbolizacion de proposiciones.--Inferencia logica.--Certeza y validez.--Tablas de certeza.--Terminos, predicados y cuantificaciones universales.--Especificacion universal y leyes de identidad.--Un sistema matemático simple: axiomas de la adicion.--Generalizacion universal ER -