著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Kozmidiadi, V. A. and Muchnik, A. A.",Problemy matematicheskoĭ logiki : slozhnostʹ algoritmov i klassy vychislimykh funkt︠s︡iĭ : sbornik perevodov,,"Izd-vo ""Mir,""",1970,"Библиотека ""кибернетического сборника""",,,,https://cir.nii.ac.jp/crid/1130282269761224960