MATHEMATICAL INTERPRETATION OF FORMAL SYSTEMS - Skolem, Th. (North-Holland, 1955)