000 00633nam a2200229Ia 4500
003 OSt
005 20220918190024.0
006 a|||||r|||| 00| 0
007 ta
008 220917b |||||||| |||| 00| 0 eng d
024 _a54,089
037 _cTextual
040 _aARTS
_cARTS
_beng
041 _2eng
_aeng
082 _aR14, J97
100 _aBouvere K L De
_971034
245 0 _aMethod in proofs of underfinability
_b with applications to functions in the arithmatic of natural numbers
260 _c1959
650 _aPHILOSOPHY
942 _hR14, J97
_cTEXL
_2CC
999 _c183096
_d183096