Minimal Gödel numbers and their identification in the limit


Authored By:R. V. Freivalds
Paper Title:Minimal Gödel numbers and their identification in the limit
Book/Journal Title:Proc. 4th Symposium on Mathematical Foundations of Computer Science, September 1-5, 1975
Vol. 32
Publisher:Springer-Verlag
Publication Date: 1975
Pages:219-225

BibTeX Record:
@InProceedings{f-mgnil-75,
author = "R. V. Freivalds",
title = "Minimal {G}{\"o}del numbers and their identification in the limit",
booktitle = "Proc. 4th Symposium on Mathematical Foundations of Computer Science, September 1--5, 1975",
series = "Lecture Notes in Computer Science",
volume = "32",
publisher = "Springer-Verlag",
year = "1975",
pages = "219--225",
}

Hide BibTeX Record