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