@article{journals/ndjfl/Putnam00,
  added-at = {2014-08-04T00:00:00.000+0200},
  author = {Putnam, Hilary},
  biburl = {https://www.bibsonomy.org/bibtex/29e4d1aa1573b8980b7ea1c2fc640f25b/dblp},
  ee = {http://dx.doi.org/10.1305/ndjfl/1027953483},
  interhash = {95de53ac8bf083b80a0c15a5cf30059d},
  intrahash = {9e4d1aa1573b8980b7ea1c2fc640f25b},
  journal = {Notre Dame Journal of Formal Logic},
  keywords = {dblp},
  number = 1,
  pages = {53-58},
  timestamp = {2015-06-17T21:59:36.000+0200},
  title = {Nonstandard Models and Kripke's Proof of the Gödel Theorem.},
  url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl41.html#Putnam00},
  volume = 41,
  year = 2000
}

{"_id":"ynKKeNpkuJ8tj7Zjn","bibbaseid":"putnam-nonstandardmodelsandkripkesproofofthegdeltheorem-2000","authorIDs":[],"author_short":["Putnam, H."],"bibdata":{"bibtype":"article","type":"article","added-at":"2014-08-04T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Putnam"],"firstnames":["Hilary"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/29e4d1aa1573b8980b7ea1c2fc640f25b/dblp","ee":"http://dx.doi.org/10.1305/ndjfl/1027953483","interhash":"95de53ac8bf083b80a0c15a5cf30059d","intrahash":"9e4d1aa1573b8980b7ea1c2fc640f25b","journal":"Notre Dame Journal of Formal Logic","keywords":"dblp","number":"1","pages":"53-58","timestamp":"2015-06-17T21:59:36.000+0200","title":"Nonstandard Models and Kripke's Proof of the Gödel Theorem.","url":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl41.html#Putnam00","volume":"41","year":"2000","bibtex":"@article{journals/ndjfl/Putnam00,\n added-at = {2014-08-04T00:00:00.000+0200},\n author = {Putnam, Hilary},\n biburl = {https://www.bibsonomy.org/bibtex/29e4d1aa1573b8980b7ea1c2fc640f25b/dblp},\n ee = {http://dx.doi.org/10.1305/ndjfl/1027953483},\n interhash = {95de53ac8bf083b80a0c15a5cf30059d},\n intrahash = {9e4d1aa1573b8980b7ea1c2fc640f25b},\n journal = {Notre Dame Journal of Formal Logic},\n keywords = {dblp},\n number = 1,\n pages = {53-58},\n timestamp = {2015-06-17T21:59:36.000+0200},\n title = {Nonstandard Models and Kripke's Proof of the Gödel Theorem.},\n url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl41.html#Putnam00},\n volume = 41,\n year = 2000\n}\n\n","author_short":["Putnam, H."],"key":"journals/ndjfl/Putnam00","id":"journals/ndjfl/Putnam00","bibbaseid":"putnam-nonstandardmodelsandkripkesproofofthegdeltheorem-2000","role":"author","urls":{"Link":"http://dx.doi.org/10.1305/ndjfl/1027953483","Paper":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl41.html#Putnam00"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/hilary putnam?items=1000","creationDate":"2019-12-26T19:06:04.771Z","downloads":0,"keywords":["dblp"],"search_terms":["nonstandard","models","kripke","proof","del","theorem","putnam"],"title":"Nonstandard Models and Kripke's Proof of the Gödel Theorem.","year":2000,"dataSources":["B4Pouu2CqrEEgNMeq"]}