Suppes, Patrick.
Primer curso de logica matemática / Patrick Suppes, Shirley Hill. - Mexico : Reverte Ediciones, 2010. - 278 p.
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
9789686708011
Matemáticas.
511.3 / Su765
Primer curso de logica matemática / Patrick Suppes, Shirley Hill. - Mexico : Reverte Ediciones, 2010. - 278 p.
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
9789686708011
Matemáticas.
511.3 / Su765