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:
Autor principal: | |
---|---|
Otros Autores: | |
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 |