著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Barwise, Jon and Etchemendy, John",The language of first-order logic including the program Tarski's World,,Center for the Study of Language and Information,1990,CSLI lecture notes,,0937073598,,https://cir.nii.ac.jp/crid/1130000798070279680