00957nam a2200277 i 450099100102260970753620020507181816.0970625s1971 ne ||| | eng b10790317-39ule_instLE01305872ExLDip.to Matematicaeng511.3AMS 03-01AMS 03DKleene, Stephen Cole57809Introduction to metamathematics /Stephen Cole KleeneGroningen :Wolters-Noordhoff,reprint1971x, 500 p. ;23 cm.Mathematical logic-textbooksRecursion theory.b1079031721-09-0628-06-02991001022609707536LE013 03-XX KLE12 (1971)12013000086682le013-E0.00-l- 02120.i1089082828-06-02Introduction to metamathematics108230UNISALENTOle01301-01-97ma -engne 01