@Article{ebe12a,
  Author =	 {Eberhard, Sebastian},
  Title =	 {A feasible theory of truth over combinatory algebra},
  volume =	 165,
  number =	 5,
  pages =	 {1009--1033},
  year =	 2014,
  issn =	 {0168-0072},
  doi =		 {http://dx.doi.org/10.1016/j.apal.2013.12.002},
  keywords =	 {Polytime computability},
  keywords =	 {Applicative theories},
  keywords =	 {Truth theories },
  journal =	 {Annals of Pure and Applied Logic},
  url =		 {2012/ebe12a.pdf}
}

{"_id":"RrRo7fs5K2PtsnrJ5","bibbaseid":"eberhard-afeasibletheoryoftruthovercombinatoryalgebra-2014","authorIDs":[],"author_short":["Eberhard, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Eberhard"],"firstnames":["Sebastian"],"suffixes":[]}],"title":"A feasible theory of truth over combinatory algebra","volume":"165","number":"5","pages":"1009–1033","year":"2014","issn":"0168-0072","doi":"http://dx.doi.org/10.1016/j.apal.2013.12.002","keywords":"Truth theories ","journal":"Annals of Pure and Applied Logic","url":"2012/ebe12a.pdf","bibtex":"@Article{ebe12a,\n Author =\t {Eberhard, Sebastian},\n Title =\t {A feasible theory of truth over combinatory algebra},\n volume =\t 165,\n number =\t 5,\n pages =\t {1009--1033},\n year =\t 2014,\n issn =\t {0168-0072},\n doi =\t\t {http://dx.doi.org/10.1016/j.apal.2013.12.002},\n keywords =\t {Polytime computability},\n keywords =\t {Applicative theories},\n keywords =\t {Truth theories },\n journal =\t {Annals of Pure and Applied Logic},\n url =\t\t {2012/ebe12a.pdf}\n}\n\n\n\n","author_short":["Eberhard, S."],"key":"ebe12a","id":"ebe12a","bibbaseid":"eberhard-afeasibletheoryoftruthovercombinatoryalgebra-2014","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2012/ebe12a.pdf"},"keyword":["Truth theories"],"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.126Z","downloads":0,"keywords":["truth theories"],"search_terms":["feasible","theory","truth","over","combinatory","algebra","eberhard"],"title":"A feasible theory of truth over combinatory algebra","year":2014,"dataSources":["jFQMeatnEb8qn3qdH"]}