名古屋大学附属図書館




1

Constructible sets with applications

A. Mostowski. -- North-Holland, 1969. -- (Studies in logic and the foundations of mathematics).