名古屋大学附属図書館




1

A survey of mathematical logic

Wang Hao. -- Science Press. -- (Studies in logic and the foundations of mathematics).