Mathematical interpretation of formal systems - Skolem Th (Amsterdam North-Holland, 1955)
Keywords: Formal system; Mathematical logic