@Article{js05,
  Author         = {Gerhard J{\"a}ger and Thomas Strahm},
  Title          = {Reflections on reflections in explicit mathematics},
  Journal        = {Annals of Pure and Applied Logic},
  Volume         = {136},
  Number         = {1{--}2},
  Pages          = {116{--}133},
  url            = {2005/js05.pdf},
  year           = 2005
}

{"_id":"yNTCcsje7FT7xb5ZE","bibbaseid":"jger-strahm-reflectionsonreflectionsinexplicitmathematics-2005","authorIDs":[],"author_short":["Jäger, G.","Strahm, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Strahm"],"suffixes":[]}],"title":"Reflections on reflections in explicit mathematics","journal":"Annals of Pure and Applied Logic","volume":"136","number":"1–2","pages":"116–133","url":"2005/js05.pdf","year":"2005","bibtex":"@Article{js05,\n Author = {Gerhard J{\\\"a}ger and Thomas Strahm},\n Title = {Reflections on reflections in explicit mathematics},\n Journal = {Annals of Pure and Applied Logic},\n Volume = {136},\n Number = {1{--}2},\n Pages = {116{--}133},\n url = {2005/js05.pdf},\n year = 2005\n}\n\n","author_short":["Jäger, G.","Strahm, T."],"key":"js05","id":"js05","bibbaseid":"jger-strahm-reflectionsonreflectionsinexplicitmathematics-2005","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2005/js05.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.046Z","downloads":0,"keywords":[],"search_terms":["reflections","reflections","explicit","mathematics","jäger","strahm"],"title":"Reflections on reflections in explicit mathematics","year":2005,"dataSources":["jFQMeatnEb8qn3qdH"]}