著者名 書名 版表示 出版者名 出版年 シリーズ名 番号 ISBN ISSN URL Costa, Newton C. A. da and Alcantara, Luiz Paulo de Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa M. Dekker 1985 Lecture notes in pure and applied mathematics v. 94 0824773306 https://ci.nii.ac.jp/ncid/BA00523931