@article{GOODSTEIN1954, author = {GOODSTEIN, R.L.}, journal = {Mathematica Scandinavica}, keywords = {philosophy and foundations of mathematics}, pages = {247-261}, title = {Logic-free formalisations of recursive arithmetic}, url = {http://eudml.org/doc/165548}, volume = {2}, year = {1954}, }
TY - JOUR AU - GOODSTEIN, R.L. TI - Logic-free formalisations of recursive arithmetic JO - Mathematica Scandinavica PY - 1954 VL - 2 SP - 247 EP - 261 KW - philosophy and foundations of mathematics UR - http://eudml.org/doc/165548 ER -
