%0 Journal Article %1 journals/aml/Arai15a %A Arai, Toshiyasu %D 2015 %J Arch. Math. Log. %K dblp %N 5-6 %P 531-553 %T Intuitionistic fixed point theories over set theories. %U http://dblp.uni-trier.de/db/journals/aml/aml54.html#Arai15a %V 54

@article{journals/aml/Arai15a, added-at = {2015-07-28T00:00:00.000+0200}, author = {Arai, Toshiyasu}, biburl = {https://www.bibsonomy.org/bibtex/23c1187eef56ae1fb45613d90e0464b16/dblp}, ee = {http://dx.doi.org/10.1007/s00153-015-0426-y}, interhash = {19d2a735e2b5c9b293dc96b86e578e4a}, intrahash = {3c1187eef56ae1fb45613d90e0464b16}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {5-6}, pages = {531-553}, timestamp = {2015-07-29T11:35:55.000+0200}, title = {Intuitionistic fixed point theories over set theories.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml54.html#Arai15a}, volume = 54, year = 2015 }