@ARTICLE{Bau17,
  author = {Bauer, Andrej},
  title = {Five Stages of Accepting Constructive Mathematics},
  journal = {Bulletin of Symbolic Logic},
  year = {2017},
  volume = {54},
  pages = {481--498},
  number = {3},
  doi = {10.1090/bull/1556},
  file = {Bau17.pdf:Bau17.pdf:PDF},
  keywords = {bib, cca, con},
  url = {http://dx.doi.org/10.1090/bull/1556}
}

{"_id":"M5vJkJPwzzw2BFCQn","bibbaseid":"bauer-fivestagesofacceptingconstructivemathematics-2017","authorIDs":[],"author_short":["Bauer, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bauer"],"firstnames":["Andrej"],"suffixes":[]}],"title":"Five Stages of Accepting Constructive Mathematics","journal":"Bulletin of Symbolic Logic","year":"2017","volume":"54","pages":"481–498","number":"3","doi":"10.1090/bull/1556","file":"Bau17.pdf:Bau17.pdf:PDF","keywords":"bib, cca, con","url":"http://dx.doi.org/10.1090/bull/1556","bibtex":"@ARTICLE{Bau17,\r\n author = {Bauer, Andrej},\r\n title = {Five Stages of Accepting Constructive Mathematics},\r\n journal = {Bulletin of Symbolic Logic},\r\n year = {2017},\r\n volume = {54},\r\n pages = {481--498},\r\n number = {3},\r\n doi = {10.1090/bull/1556},\r\n file = {Bau17.pdf:Bau17.pdf:PDF},\r\n keywords = {bib, cca, con},\r\n url = {http://dx.doi.org/10.1090/bull/1556}\r\n}\r\n\r\n","author_short":["Bauer, A."],"key":"Bau17","id":"Bau17","bibbaseid":"bauer-fivestagesofacceptingconstructivemathematics-2017","role":"author","urls":{"Paper":"http://dx.doi.org/10.1090/bull/1556"},"keyword":["bib","cca","con"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.310Z","downloads":0,"keywords":["bib","cca","con"],"search_terms":["five","stages","accepting","constructive","mathematics","bauer"],"title":"Five Stages of Accepting Constructive Mathematics","year":2017,"dataSources":["t7rKiAbxugj4Agz8M","CC7dawDvD4eaYGJSr"]}