00778nam0-22003131i-450-99000074077040332120001010000074077FED01000074077(Aleph)000074077FED0100007407720001010d--------km-y0itay50------baitay-------001yyCapri3.NapoliGallina1982.97 p.25 cm3. ed. riveduta ed ampliata.Pane,Roberto<1897-1987>2344ITUNINARICAUNIMARCBK990000740770403321SEZ.NA B 480FARBCSEZ.NA B 47913481FARBCFARBCCapri321672UNINAING0101535nam a2200361 i 450099100115207970753620020507184213.0000606s1999 uk ||| | eng 0521635500b10808012-39ule_instLE01307850ExLDip.to Matematicaeng511.3AMS 03-06AMS 03CLogic colloquium <1997 ; Leeds, England>350816Models and computability :invited papers from Logic Colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, July 1997 /edited by S. Barry Cooper, John K. TrussCambridge :Cambridge University Press,1999ix, 419 p. :ill. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;259Includes bibliographical referencesComputable functionsCongressesSymbolic and mathematical logicCooper, S. BarryTruss, J. K.Association for Symbolic Logic.b1080801223-02-1728-06-02991001152079707536LE013 03-XX COO11 C.1 (1999)12013000121369le013-E0.00-l- 00000.i1091305128-06-02LE013 03-XX COO11 C.2 (1999)22013000122885le013-E0.00-l- 00000.i1091306328-06-02Models and computability925632UNISALENTOle01301-01-00ma -enguk 02