Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Smullyan, Raymond M.",Theory of formal systems,Rev. ed,Princeton University Press,1962,Annals of mathematics studies,,,,https://cir.nii.ac.jp/crid/1130282271828772736