%0 Journal Article %1 journals/igpl/BridgesDM13 %A Bridges, Douglas S. %A Dent, James E. %A McKubre-Jordens, Maarten %D 2013 %J Logic Journal of the IGPL %K dblp %N 5 %P 830-835 %T Two direct proofs that LLPO implies the detachable fan theorem. %U http://dblp.uni-trier.de/db/journals/igpl/igpl21.html#BridgesDM13 %V 21

@article{journals/igpl/BridgesDM13, added-at = {2017-02-17T00:00:00.000+0100}, author = {Bridges, Douglas S. and Dent, James E. and McKubre-Jordens, Maarten}, biburl = {https://www.bibsonomy.org/bibtex/25e20a925cbbfe76bab57bb514fb234c1/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzt003}, interhash = {e927ec3c12417dbfd19e53c2fc7033c3}, intrahash = {5e20a925cbbfe76bab57bb514fb234c1}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 5, pages = {830-835}, timestamp = {2017-02-18T11:34:19.000+0100}, title = {Two direct proofs that LLPO implies the detachable fan theorem.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl21.html#BridgesDM13}, volume = 21, year = 2013 }