and T.Tinchev (1987)

by G Gargov, S Passy
Venue:Mathematical Logic and its Applications. Proceedings of the Summer School and Conference dedicated to the 80th Anniversary of Kurt Godel