著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Guzicki, Wojciech and Instytut Matematyczny (Polska Akademia Nauk)",Definable quantifiers in second order arithmetic and elementary extensions of ω-models,,Państwowe Wydawn. Naukowe,1983,Dissertationes mathematicae,,8301027207,,https://cir.nii.ac.jp/crid/1130000795031894656