On the equivalence between logic-free and logic-bearing systems of primitive recursive arithmetic Export

@article{citeulike:3758726, author = {Schwartz, Daniel G.}, citeulike-article-id = {3758726}, citeulike-linkout-0 = {http://dx.doi.org/10.1002/malq.19870330308}, citeulike-linkout-1 = {http://www.zentralblatt-math.org/zmath/en/search/?q=an:0618.03027&format=complete}, citeulike-linkout-2 = {http://www.ams.org/mathscinet-getitem?mr=894023}, doi = {10.1002/malq.19870330308}, issn = {00443050}, journal = {Zeitschrift f\"{u}r Mathematische Logik und Grundlagen der Mathematik}, keywords = {\_copy, \_dipl, arithmetic, pra}, number = {3}, pages = {245--253}, posted-at = {2008-12-09 09:53:01}, priority = {0}, title = {On the equivalence between logic-free and logic-bearing systems of primitive recursive arithmetic}, url = {http://dx.doi.org/10.1002/malq.19870330308}, volume = {33}, year = {1987} }

TY - JOUR ID - citeulike:3758726 L3 - citeulike-article-id:3758726 IS - 3 JF - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik SN - 00443050 EP - 253 TI - On the equivalence between logic-free and logic-bearing systems of primitive recursive arithmetic VL - 33 SP - 245 KW - _copy KW - _dipl KW - arithmetic KW - pra AU - Schwartz, Daniel PY - 1987/// UR - http://dx.doi.org/10.1002/malq.19870330308 ER -