@article{58447,
      author = {Nagel, Ernest, and Newman, James R.},
      url = {http://library.usi.edu/record/58447},
      title = {Gödel's proof,},
      publisher = {New York University Press,},
      recid = {58447},
      pages = {118 p.},
      address = {[New York]},
      year = {1958},
}