著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Davydov, G. V. and Mint︠s︡, G. E. and Orevkov, V. P.",Теория доказательств и конструктивная математика,,"""Наука"", Главная ред. физико-математической лит-рат",1983,Справочная книга по математической логике,,,,https://cir.nii.ac.jp/crid/1130000794698143616