%0 Journal Article %1 journals/aml/Krivine90 %A Krivine, Jean-Louis %D 1990 %J Arch. Math. Log. %K dblp %N 4 %P 241-267 %T Opérateurs de mise en mémoire et traduction de Gödel. %U http://dblp.uni-trier.de/db/journals/aml/aml30.html#Krivine90 %V 30

@article{journals/aml/Krivine90, added-at = {2016-12-04T00:00:00.000+0100}, author = {Krivine, Jean-Louis}, biburl = {https://www.bibsonomy.org/bibtex/22d4010d6c91a72d0bb571f794acea873/dblp}, ee = {http://dx.doi.org/10.1007/BF01792986}, interhash = {032c40b2704701fc5a57f7d885e6cf6f}, intrahash = {2d4010d6c91a72d0bb571f794acea873}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 4, pages = {241-267}, timestamp = {2016-12-06T11:34:31.000+0100}, title = {Opérateurs de mise en mémoire et traduction de Gödel.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml30.html#Krivine90}, volume = 30, year = 1990 }