%0 Journal Article %1 journals/mscs/PfenderKP94 %A Pfender, Michael %A Kröplin, K. %A Pape, D. %D 1994 %J Math. Struct. Comput. Sci. %K dblp %N 3 %P 295-313 %T Primitive Recursion, Equality, and a Universal Set. %U http://dblp.uni-trier.de/db/journals/mscs/mscs4.html#PfenderKP94 %V 4

@article{journals/mscs/PfenderKP94, added-at = {2020-04-01T00:00:00.000+0200}, author = {Pfender, Michael and Kröplin, K. and Pape, D.}, biburl = {https://www.bibsonomy.org/bibtex/24a834a0bff03da2c0268d84b7aa48b46/dblp}, ee = {https://doi.org/10.1017/S0960129500000499}, interhash = {32a6be57b5f3c0cf899708511e919db6}, intrahash = {4a834a0bff03da2c0268d84b7aa48b46}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {295-313}, timestamp = {2020-04-02T11:41:42.000+0200}, title = {Primitive Recursion, Equality, and a Universal Set.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs4.html#PfenderKP94}, volume = 4, year = 1994 }