01187nam a2200349 i 450099100074868970753620020507173058.0951026s1982 uk ||| | eng 0521280404b10751907-39ule_instLE01301710ExLDip.to Matematicaeng511.322AMS 03EBeller, A.54377Coding the universe /A. Beller, R. Jensen, P. WelchCambridge :Cambridge University Press,c1982353 p. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;47Bibliography: p. 347-348Includes indexesAxiomatic set theorySet theorySymbolic logic and mathematicalJensen, Ronald BjornWelch, P..b1075190723-02-1728-06-02991000748689707536LE013 03E BEL11 (1982)12013000038544le013-E0.00-l- 00000.i1084495828-06-02Coding the universe345365UNISALENTOle01301-01-95ma -enguk 01