@InProceedings{es12a,
  Author =	 {Eberhard, Sebastian and Strahm, Thomas},
  Title =	 {Weak theories of truth and explicit mathematics},
  Pages =	 {157{--}184},
  Editor =	 {Ulrich Berger and Hannes Diener and Peter Schuster
                  and Monika Seisenberger},
  BookTitle =	 {Logic, Construction, Computation},
  Year =	 2012,
  Publisher =	 {Ontos Verlag},
  url =		 {2012/es12a.pdf}
}

{"_id":"kNGiBea6WZDGf5Pmv","bibbaseid":"eberhard-strahm-weaktheoriesoftruthandexplicitmathematics-2012","authorIDs":[],"author_short":["Eberhard, S.","Strahm, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Eberhard"],"firstnames":["Sebastian"],"suffixes":[]},{"propositions":[],"lastnames":["Strahm"],"firstnames":["Thomas"],"suffixes":[]}],"title":"Weak theories of truth and explicit mathematics","pages":"157–184","editor":[{"firstnames":["Ulrich"],"propositions":[],"lastnames":["Berger"],"suffixes":[]},{"firstnames":["Hannes"],"propositions":[],"lastnames":["Diener"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Schuster"],"suffixes":[]},{"firstnames":["Monika"],"propositions":[],"lastnames":["Seisenberger"],"suffixes":[]}],"booktitle":"Logic, Construction, Computation","year":"2012","publisher":"Ontos Verlag","url":"2012/es12a.pdf","bibtex":"@InProceedings{es12a,\n Author =\t {Eberhard, Sebastian and Strahm, Thomas},\n Title =\t {Weak theories of truth and explicit mathematics},\n Pages =\t {157{--}184},\n Editor =\t {Ulrich Berger and Hannes Diener and Peter Schuster\n and Monika Seisenberger},\n BookTitle =\t {Logic, Construction, Computation},\n Year =\t 2012,\n Publisher =\t {Ontos Verlag},\n url =\t\t {2012/es12a.pdf}\n}\n\n\n\n","author_short":["Eberhard, S.","Strahm, T."],"editor_short":["Berger, U.","Diener, H.","Schuster, P.","Seisenberger, M."],"key":"es12a","id":"es12a","bibbaseid":"eberhard-strahm-weaktheoriesoftruthandexplicitmathematics-2012","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2012/es12a.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.092Z","downloads":0,"keywords":[],"search_terms":["weak","theories","truth","explicit","mathematics","eberhard","strahm"],"title":"Weak theories of truth and explicit mathematics","year":2012,"dataSources":["jFQMeatnEb8qn3qdH"]}