Introducción a la lógica simbólica
El texto es una introducción a la lógica moderna y a la teoíia de conjuntos. El autor deriva un sistema original de lógica de primer orden que se aproxima a la escritura informal de pruebas de matemáticas y de otras ciencias.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
México, D. F. :
C.E.C.S.A,
1966.
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00912nam a22002650a 4500 | ||
|---|---|---|---|
| 001 | PT2108 | ||
| 003 | AR-LpoUNG | ||
| 005 | 20210131230031.0 | ||
| 008 | 191001s1966||||mx |||||||||||||||||spa d | ||
| 040 | |a AR-LpoUNG |b spa |c AR-LpoUNG |e aacr | ||
| 041 | |a spa | ||
| 044 | |a mx | ||
| 082 | 0 | |a 160 59 | |
| 100 | 1 | |a Suppes, Patrick | |
| 245 | 1 | 0 | |a Introducción a la lógica simbólica |
| 260 | |a México, D. F. : |b C.E.C.S.A, |c 1966. | ||
| 300 | |a 378 p. : |b fot., il. | ||
| 520 | |a El texto es una introducción a la lógica moderna y a la teoíia de conjuntos. El autor deriva un sistema original de lógica de primer orden que se aproxima a la escritura informal de pruebas de matemáticas y de otras ciencias. | ||
| 650 | 4 | |a LOGICA | |
| 650 | 4 | |a LOGICA MATEMATICA Y SIMBOLICA | |
| 650 | 4 | |a TEORIA DEL CONOCIMIENTO | |
| 651 | 4 | |a DOCUMENTOS TEORICOS O METODOLOGICOS | |
| 905 | |a 2108 | ||
| 942 | |c FOTOC | ||
| 999 | |c 992 |d 992 | ||