%0 Journal Article %1 journals/apal/GirardN85 %A Girard, Jean-Yves %A Normann, Dag %D 1985 %J Ann. Pure Appl. Logic %K dblp %N 3 %P 255-286 %T Set recursion and Πhalf-logic. %U http://dblp.uni-trier.de/db/journals/apal/apal28.html#GirardN85 %V 28

@article{journals/apal/GirardN85, added-at = {2016-03-16T00:00:00.000+0100}, author = {Girard, Jean-Yves and Normann, Dag}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26383e18eab1b3bbc8b49c547cd892df3/dblp}, ee = {http://dx.doi.org/10.1016/0168-0072(85)90017-X}, interhash = {f90ceb53f1247b45b825bd7f6ad5fb31}, intrahash = {6383e18eab1b3bbc8b49c547cd892df3}, journal = {Ann. Pure Appl. Logic}, keywords = {dblp}, number = 3, pages = {255-286}, timestamp = {2016-03-17T10:31:52.000+0100}, title = {Set recursion and Πhalf-logic.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal28.html#GirardN85}, volume = 28, year = 1985 }