| | 書誌事項 |
1 | | The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 / Jon Barwise & John Etchemendy. -- 3rd ed., rev. and expanded. -- Center for the Study of Language and Information, 1992. -- (CSLI lecture notes ; no. 34). |
2 | | Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu ; : pbk. -- CSLI Publications, 2002. |
3 | | Situation theory and its applications / edited by Robin Cooper, Kuniaki Mukai, and John Perry ; v. 1 - v. 3 : pbk. -- Center for the Study of Language and Information, 1990. -- (CSLI lecture notes ; no. 22, 26, 37). |
4 | | The situation in logic / Jon Barwise ; : pbk. -- Center for the Study of Language and Information, 1989. -- (CSLI lecture notes ; no. 17). |
5 | | 論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳. -- 慶應義塾大学出版会, 2006. |
| | 書誌事項 |