MARC 主機 00000nam  2200000 i 4500 
001    mat00041179 
008    010907s2001    ja       b    100 0 chi d 
040    AS|cAS|dMATH 
041 0  engjpn 
245 00 モデル理論とその応用 =|bModel theory and its applications 
       : 研究集会報告集, 2000年10月13日~11月15日 /|c研究代表者 
       田中克己(Katsumi Tanaka) 
246 11 Model theory and its applications 
260    [京都市] :|b京都大学数理解析研究所,|c2001 
300    61面 ;|c25公分 
490 1  数理解析研究所講究録 ;|v1213 =|aRIMS Kokyuroku ;|v1213 
504    含參考書目 
700 1  田中克己|q(Tanaka, Katsumi)|e研究代表 
830  0 数理解析研究所講究録 ;|v1213 
830  0 RIMS Kokyuroku ;|v1213