Primer curso de lógica matemática /

Simbolización de proposiciones - Inferencia lógica - Certeza y validez - Tablas de certeza - Términos, predicados y cuantificadores universales - Especificación universal y leyes de identidad - Un sistema matemático simple: axiomas de la adición - Generalización universal.

Guardado en:
Detalles Bibliográficos
Autor principal: Suppes, Patrick
Otros Autores: Hill, Shirley
Formato: Libro
Lenguaje:Español
Publicado: Barcelona : Reverté, 1975.
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01064Cam#a22002653a#4500
001 INGC-MON-01402
003 AR-LpUFI
005 20221019002204.0
008 060510s1975 |||a fr||||| |0 0|spa d
080 |a 517.1 
100 0 |a Suppes, Patrick.  |9 266159 
245 0 0 |a Primer curso de lógica matemática /   |c Patrick Suppes, Shirley Hill. 
260 |a Barcelona :   |b Reverté,   |c 1975. 
300 |a 282 p. 
520 2 |a Simbolización de proposiciones - Inferencia lógica - Certeza y validez - Tablas de certeza - Términos, predicados y cuantificadores universales - Especificación universal y leyes de identidad - Un sistema matemático simple: axiomas de la adición - Generalización universal. 
599 |a 25044 DON;25177 DON;26834 COM 
650 1 4 |a LOGICA MATEMATICA  |9 265406 
700 |a Hill, Shirley.  |9 266160 
929 |a 25044 DON; 25177 DON; 26834 COM; 42873 DON Castelli; 43090 DON 
942 |c LIB  |6 _ 
959 |a MON 
960 |a 1462 
970 |a Registro convertido en forma automatizada 
999 |c 1400  |d 1400 
040 |a AR-LpUFI  |c AR-LpUFI