Matches in Library of Congress for { <http://lccn.loc.gov/80513331> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 80513331 contributor B3911608.
- 80513331 created "[1973?]".
- 80513331 date "1973".
- 80513331 date "[1973?]".
- 80513331 dateCopyrighted "[1973?]".
- 80513331 description "Bibliography: p. 45.".
- 80513331 extent "45 p. ;".
- 80513331 identifier "8460058476".
- 80513331 issued "1973".
- 80513331 issued "[1973?]".
- 80513331 language "spa".
- 80513331 publisher "[Madrid] : Centro de Cálculo de la Universidad de Madrid,".
- 80513331 subject "Completeness theorem.".
- 80513331 subject "Gödel, Kurt.".
- 80513331 subject "Löwenheim, Leopold.".
- 80513331 subject "QA9.67 .P74".
- 80513331 subject "Skolem, Th. (Thoralf), 1887-1963.".
- 80513331 title "Una prueba algebraica de los teoremas de Skolem-Löwenheim y Gödel / José F. Prida.".
- 80513331 type "text".