511.3 S94

Suppes, Patrick; Hill, Shirley

México,Reverté,1999

22cm

1.-Simbolozación de proposiciones. 2.- Inferencia lógicas 3.- certeza y validez. 4.- Tabla de certeza. 5.- Términos, predicados y cuantificadores universales. 6.- Espicificación universal y leyes de identidad. 7.- Un sistema matemático simple axiomas de la adición.8.- Generalización universal.

Lógica matemática

                    Cerrar Ventana