%0 Journal Article %1 journals/lmcs/AvronC18 %A Avron, Arnon %A Cohen, Liron %D 2018 %J Log. Methods Comput. Sci. %K dblp %N 4 %T Applicable Mathematics in a Minimal Computational Theory of Sets. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs14.html#AvronC18 %V 14

@article{journals/lmcs/AvronC18, added-at = {2020-12-29T00:00:00.000+0100}, author = {Avron, Arnon and Cohen, Liron}, biburl = {https://www.bibsonomy.org/bibtex/2248969367bf583ff77e486daebdcdcf6/dblp}, ee = {https://doi.org/10.23638/LMCS-14(4:1)2018}, interhash = {d8926c46ce4ed426b9a0ac13be1115eb}, intrahash = {248969367bf583ff77e486daebdcdcf6}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T01:50:57.000+0200}, title = {Applicable Mathematics in a Minimal Computational Theory of Sets.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs14.html#AvronC18}, volume = 14, year = 2018 }