@article{Goedel:1931,
	author = "G{\"o}del, Kurt",
	year = "1931",
	title = "{\"U}ber formal unentscheidbare {S}{\"a}tze der {P}rincipia mathematica und verwandter {S}ysteme~{I}",
	journal = "Monatshefte f{\"u}r Mathematik und Physik",
	volume = "38",
	pages = "173--198"
}

{"_id":"4umSxHiF3z6K3Augf","bibbaseid":"gdel-berformalunentscheidbarestzederprincipiamathematicaundverwandtersystemei-1931","downloads":0,"creationDate":"2018-10-05T11:34:47.149Z","title":"Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I","author_short":["Gödel, K."],"year":1931,"bibtype":"article","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Gödel"],"firstnames":["Kurt"],"suffixes":[]}],"year":"1931","title":"Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I","journal":"Monatshefte für Mathematik und Physik","volume":"38","pages":"173–198","bibtex":"@article{Goedel:1931,\n\tauthor = \"G{\\\"o}del, Kurt\",\n\tyear = \"1931\",\n\ttitle = \"{\\\"U}ber formal unentscheidbare {S}{\\\"a}tze der {P}rincipia mathematica und verwandter {S}ysteme~{I}\",\n\tjournal = \"Monatshefte f{\\\"u}r Mathematik und Physik\",\n\tvolume = \"38\",\n\tpages = \"173--198\"\n}\n\n","author_short":["Gödel, K."],"key":"Goedel:1931","id":"Goedel:1931","bibbaseid":"gdel-berformalunentscheidbarestzederprincipiamathematicaundverwandtersystemei-1931","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["ber","formal","unentscheidbare","tze","der","principia","mathematica","und","verwandter","systeme","gödel"],"keywords":[],"authorIDs":[],"dataSources":["EmYaiv9TCHbg7caTW","cx4WvnDhXJhiLqdQo"]}