Teorias matematicas formalizadoras - Sikorski, Roman (Universidad Nacional del Sur, Instituto de Matematica, 1960)