@ARTICLE{Hen12,
  author = {Hendtlass, Matthew},
  title = {The intermediate value theorem in constructive mathematics without
	choice},
  journal = {Ann. Pure Appl. Logic},
  year = {2012},
  volume = {163},
  pages = {1050--1056},
  number = {8},
  coden = {APALD7},
  doi = {10.1016/j.apal.2011.12.026},
  fjournal = {Annals of Pure and Applied Logic},
  issn = {0168-0072},
  keywords = {bib,con},
  mrclass = {03F60 (03E25)},
  mrnumber = {2915698},
  mrreviewer = {Hajime Ishihara},
  owner = {Vasco},
  timestamp = {2013.12.01},
  url = {http://dx.doi.org/10.1016/j.apal.2011.12.026}
}

{"_id":"Hm4hxZebA3CRwfc2r","bibbaseid":"hendtlass-theintermediatevaluetheoreminconstructivemathematicswithoutchoice-2012","authorIDs":[],"author_short":["Hendtlass, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Hendtlass"],"firstnames":["Matthew"],"suffixes":[]}],"title":"The intermediate value theorem in constructive mathematics without choice","journal":"Ann. Pure Appl. Logic","year":"2012","volume":"163","pages":"1050–1056","number":"8","coden":"APALD7","doi":"10.1016/j.apal.2011.12.026","fjournal":"Annals of Pure and Applied Logic","issn":"0168-0072","keywords":"bib,con","mrclass":"03F60 (03E25)","mrnumber":"2915698","mrreviewer":"Hajime Ishihara","owner":"Vasco","timestamp":"2013.12.01","url":"http://dx.doi.org/10.1016/j.apal.2011.12.026","bibtex":"@ARTICLE{Hen12,\r\n author = {Hendtlass, Matthew},\r\n title = {The intermediate value theorem in constructive mathematics without\r\n\tchoice},\r\n journal = {Ann. Pure Appl. Logic},\r\n year = {2012},\r\n volume = {163},\r\n pages = {1050--1056},\r\n number = {8},\r\n coden = {APALD7},\r\n doi = {10.1016/j.apal.2011.12.026},\r\n fjournal = {Annals of Pure and Applied Logic},\r\n issn = {0168-0072},\r\n keywords = {bib,con},\r\n mrclass = {03F60 (03E25)},\r\n mrnumber = {2915698},\r\n mrreviewer = {Hajime Ishihara},\r\n owner = {Vasco},\r\n timestamp = {2013.12.01},\r\n url = {http://dx.doi.org/10.1016/j.apal.2011.12.026}\r\n}\r\n\r\n","author_short":["Hendtlass, M."],"key":"Hen12","id":"Hen12","bibbaseid":"hendtlass-theintermediatevaluetheoreminconstructivemathematicswithoutchoice-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.apal.2011.12.026"},"keyword":["bib","con"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.737Z","downloads":0,"keywords":["bib","con"],"search_terms":["intermediate","value","theorem","constructive","mathematics","without","choice","hendtlass"],"title":"The intermediate value theorem in constructive mathematics without choice","year":2012,"dataSources":["t7rKiAbxugj4Agz8M"]}