名古屋大学附属図書館




1

A survey of mathematical logic

Wang Hao. -- Science Press, 1962.