Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Murawski, Roman","Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems",,Kluwer Academic Publishers,1999,Synthese library,,0792359046,,https://cir.nii.ac.jp/crid/1130000797094612096