名古屋大学附属図書館




1

Teorías matemáticas formalizadas

por Roman Sikorski. -- Universidad Nacional del Sur, Instituto de Matemática, 1960. -- (Notas de lógica matemática ; no. 5).