%0 Journal Article %1 journals/mlq/BridgesI94 %A Bridges, Douglas S. %A Ishihara, Hajime %D 1994 %J Math. Log. Q. %K dblp %P 35-43 %T Complements of Intersections in Constructive Mathematics. %U http://dblp.uni-trier.de/db/journals/mlq/mlq40.html#BridgesI94 %V 40

@article{journals/mlq/BridgesI94, added-at = {2014-02-26T00:00:00.000+0100}, author = {Bridges, Douglas S. and Ishihara, Hajime}, biburl = {https://www.bibsonomy.org/bibtex/29c2e09268055d62d7026255740f68b89/dblp}, ee = {http://dx.doi.org/10.1002/malq.19940400106}, interhash = {4f2039c97b09f725c50861d56f382b65}, intrahash = {9c2e09268055d62d7026255740f68b89}, journal = {Math. Log. Q.}, keywords = {dblp}, pages = {35-43}, timestamp = {2015-06-17T21:16:20.000+0200}, title = {Complements of Intersections in Constructive Mathematics.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq40.html#BridgesI94}, volume = 40, year = 1994 }