ID:DA0024855X
同姓同名の著者を検索
edited by C.A.R. Hoare and J.C. Shepherdson
Prentice Hall International c1985 Prentice-Hall International series in computer science
所蔵館41館
N.E.Kobrinskiy and B.A. Trakhtenbrot ; translation edited by J.C. Shepherdson
North-Holland 1965 Studies in logic and the foundations of mathematics
所蔵館63館