%0 Journal Article %1 journals/mlq/Schwartz87a %A Schwartz, Daniel G. %D 1987 %J Math. Log. Q. %K dblp %N 3 %P 245-253 %T On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Schwartz87a %V 33

@article{journals/mlq/Schwartz87a, added-at = {2016-11-30T00:00:00.000+0100}, author = {Schwartz, Daniel G.}, biburl = {https://www.bibsonomy.org/bibtex/2df0334440ce5e9adda658c5d4f577b15/dblp}, ee = {http://dx.doi.org/10.1002/malq.19870330308}, interhash = {38018ae84b23af1ba25464ca460edc6c}, intrahash = {df0334440ce5e9adda658c5d4f577b15}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 3, pages = {245-253}, timestamp = {2016-12-01T11:34:16.000+0100}, title = {On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Schwartz87a}, volume = 33, year = 1987 }