著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Grzegorczyk, Andrzej",An outline of mathematical logic : fundamental results and notions explained with all details,,"D. Reidel,Polish Scientific ; c1974",1974,Synthese library,,9027703590,,https://cir.nii.ac.jp/crid/1130282269485000320