著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Carnielli, Walter A. (Walter Alexandre) and Alcantara, Luiz Paulo de and Sociedade Brasileira de Lógica and Sociedade Brasileira de Matemática and Association for Symbolic Logic and Latin-American Symposium on Mathematical Logic","Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985",,American Mathematical Society,1988,Contemporary mathematics,,0821850768,,https://cir.nii.ac.jp/crid/1130282269123668224