@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},
}

{"_id":"j5tJuDtSzKGutjh4j","bibbaseid":"goodstein-recursivenumbertheoryadevelopmentofrecursivearithmeticinalogicfreeequationcalculus-1957","author_short":["Goodstein, R. L."],"bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Goodstein"],"firstnames":["R.","L."],"suffixes":[]}],"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","bibtex":"@book {MR0102479,\r\n AUTHOR = {Goodstein, R. L.},\r\n TITLE = {Recursive number theory: {A} development of recursive\r\n arithmetic in a logic-free equation calculus},\r\n PUBLISHER = {North-Holland Publishing Company, Amsterdam},\r\n YEAR = {1957},\r\n PAGES = {xii+190},\r\n MRCLASS = {02.00 (10.00)},\r\n MRNUMBER = {0102479 (21 \\#1272)},\r\nMRREVIEWER = {M. Davis},\r\n BOEKCODE = {11U10},\r\n}\r\n\r\n","author_short":["Goodstein, R. L."],"key":"MR0102479","id":"MR0102479","bibbaseid":"goodstein-recursivenumbertheoryadevelopmentofrecursivearithmeticinalogicfreeequationcalculus-1957","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://fa.ewi.tudelft.nl/Library/Boeken.bib","dataSources":["ciMNZooLoSbw5kwup"],"keywords":[],"search_terms":["recursive","number","theory","development","recursive","arithmetic","logic","free","equation","calculus","goodstein"],"title":"Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus","year":1957}