Minimal Gödel Numbers and Their Identification in the Limit

R. V. Freivald. Minimal Gödel Numbers and Their Identification in the Limit. In Jirí Becvár, editor, Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings. Volume 32 of Lecture Notes in Computer Science, pages 219-225, Springer, 1975.

Abstract

Abstract is missing.