Una prueba algebraica de los teoremas de Skolem-Löwenheim y Gödel
By: José F. Prida.
Publisher: Centro de Cálculo de la Universidad de Madrid
Published: 1973
Place of publication: [Madrid]
Language: spa
Number of pages: 45
Subjects: Skolem, Th. 1887-1963.; Löwenheim, Leopold.; Gödel, Kurt.; Completeness theorem.
Notes: Bibliography: p. 45.