Mathematical interpretation of formal systems /
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North Holland,
1955.
|
Materias: |
LEADER | 00593nam a2200181 u 4500 | ||
---|---|---|---|
001 | 000140067 | ||
005 | .0 | ||
008 | 991101s1955 fs ||||| eng | ||
035 | |a 5800233 | ||
040 | |a Sistema de Bibliotecas de la Universidad de Costa Rica | ||
041 | 0 | |a eng | |
082 | 0 | |a 510.1 |b S628M |2 21 | |
100 | 1 | |a Skolem, Thoralf A. |d 1887-1967 |e Autor/a |4 aut | |
245 | 1 | 0 | |a Mathematical interpretation of formal systems / |c Th. Skolem ... [y otros] |
260 | |a Amsterdam : |b North Holland, |c 1955. | ||
300 | |a 113 páginas | ||
650 | |a LOGICA, SIMBOLICA Y MATEMATICA | ||
916 | |a Centro Catalográfico |