ID:DA0024855X
Search authors sharing the same name
edited by C.A.R. Hoare and J.C. Shepherdson
Prentice Hall International c1985 Prentice-Hall International series in computer science
Available at 40 libraries
N.E.Kobrinskiy and B.A. Trakhtenbrot ; translation edited by J.C. Shepherdson
North-Holland 1965 Studies in logic and the foundations of mathematics
Available at 63 libraries
