ID:DA11585992
Search authors sharing the same name
forward by A. Matsuki and introduction by M. F. Beeson
Iwanami Book Service Center 1998
Available at 2 libraries