Mathematical interpretation of formal systems /
[by] T. Skolem [and others].-
- 2d ed.-
- Amsterdam : North-Holland Publishing Co., 1971.
- viii, 113p.-
- (Studies in logic and the foundations of mathematics). .
Logic, Symbolic and mathematical. Mathematics--Philosophy.