著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Barwise, Jon and Etchemendy, John",The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0,"3rd ed., rev. and expanded",Center for the Study of Language and Information,1992,CSLI lecture notes,,0937073903,,https://cir.nii.ac.jp/crid/1130282273086341120