%0 Journal Article %1 journals/jsyml/EngraciaF10 %A Engrácia, Patrícia %A Ferreira, Fernando %D 2010 %J J. Symb. Log. %K dblp %N 2 %P 759-773 %T The bounded functional interpretation of the double negation shift. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml75.html#EngraciaF10 %V 75

@article{journals/jsyml/EngraciaF10, added-at = {2024-10-06T00:00:00.000+0200}, author = {Engrácia, Patrícia and Ferreira, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2a6142c26532f0e8365cb16415cbf8aa2/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1268917503}, interhash = {a5ed5efc1da21142dda9052a6f3333f7}, intrahash = {a6142c26532f0e8365cb16415cbf8aa2}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {759-773}, timestamp = {2024-10-07T07:06:17.000+0200}, title = {The bounded functional interpretation of the double negation shift.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml75.html#EngraciaF10}, volume = 75, year = 2010 }