Mathematical interpretation of formal systems /

Detalles Bibliográficos
Autor principal: Skolem, Thoralf A. 1887-1967 (Autor, Autor/a)
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