@article{Davis_1990,
    doi = {10.2307/2274974},
    url = {https://doi.org/10.2307%2F2274974},
    year = {1990},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {55},
    number = {1},
    pages = {341--342},
    author = {Martin Davis},
    editor = {Solomon Feferman and John W. {Dawson Jr.} and Stephen C. Kleene and Gregory H. Moore and Robert M. Solovay and Jean van Heijenoort},
    title = {Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929-1936},
    journal = {Journal of Symbolic Logic}
}

@article{Davis_1990, doi = {10.2307/2274974}, url = {https://doi.org/10.2307%2F2274974}, year = {1990}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {55}, number = {1}, pages = {341--342}, author = {Martin Davis}, editor = {Solomon Feferman and John W. {Dawson Jr.} and Stephen C. Kleene and Gregory H. Moore and Robert M. Solovay and Jean van Heijenoort}, title = {Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929-1936}, journal = {Journal of Symbolic Logic} }