名古屋大学附属図書館




1

Mathematical logic : Princeton University, October 1935 - January 1936

lectures by Alonzo Church ; notes by F.A. Ficken ... [et al]. -- Princeton University, [1936].