Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus. Goodstein, R. L. North-Holland Publishing Company, Amsterdam, 1957.
bibtex   
@book {MR0102479,
    AUTHOR = {Goodstein, R. L.},
     TITLE = {Recursive number theory: {A} development of recursive
              arithmetic in a logic-free equation calculus},
 PUBLISHER = {North-Holland Publishing Company, Amsterdam},
      YEAR = {1957},
     PAGES = {xii+190},
   MRCLASS = {02.00 (10.00)},
  MRNUMBER = {0102479 (21 \#1272)},
MRREVIEWER = {M. Davis},
  BOEKCODE = {11U10},
}

Downloads: 0