1
by Kobrinskiĭ, Natan Efimovich, Trakhtenbrot, B. A.
Published 1965
North-Holland Pub. Co.
...Studies in logic and the foundations of mathematics...