Teorias matematicas formalizadoras - Sikorski, Roman (Notas de logica matematica ;, 1960)