01416nam a2200433 i 450099100111247970753620020507183506.0970204s1989 de ||| | eng 3540515275b10802630-39ule_instLE01307221ExLDip.to Matematicaeng511.3AMS 03-06AMS 03-XXAMS 03BAMS 03DAMS 03EAMS 03FAMS 03HShinoda, J.536022Mathematical logic and applications :proc. of the logic meet. held in Kyoto, 1987 /eds. J. Shinoda, T. A. Slaman, T. TugueBerlin :Springer-Verlag,1989222 p. ;24 cm.Lecture notes in mathematics,0075-8434 ;1388Constructive mathematicsGeneral logicCongressesNonstandard modelsProof theoryRecursion theorySet theorySlaman, T. A.Tugué, Tosiyuki.b1080263023-02-1728-06-02991001112479707536LE013 03-XX SHI11 (1989)12013000073965le013-E0.00-l- 00000.i1090690328-06-02Mathematical logic and applications925344UNISALENTOle01301-01-97ma -engde 01