Mathematical interpretation of formal systems - Skolem, Thoralf A. 1887-1967 (Amsterdam : North Holland, 1971)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA