1 |
Language, proof and logic / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease
: pbk. - 2nd ed. - Stanford : CSLI Publications , 2011
|
2 |
論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳
東京 : 慶應義塾大学出版会 , 2006.9
|
3 |
Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
: pbk. - Stanford, Calif. : CSLI Publications , c2002
|
4 |
Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman
: hbk. - Cambridge ; New York : Cambridge University Press , 1997
|
5 |
The language of first-order logic : including the Macintosh version of Tarski's world 4.0 / Jon Barwise & John Etchemendy
3rd ed., rev. and expanded. - Stanford, CA : Center for the Study of Language and Information , c1993
|
6 |
状況と態度 / ジョン・バーワイズ, ジョン・ペリー著 ; 土屋俊 [ほか] 訳
東京 : 産業図書 , 1992.10
|
7 |
うそつき : 真理と循環をめぐる論考 / ジョン・バーワイズ, ジョン・エチェメンディ著 ; 金子洋之訳
東京 : 産業図書 , 1992.5
|
8 |
Situation theory and its applications / edited by Robin Cooper, Kuniaki Mukai, and John Perry
v. 1 - v. 3 : pbk. - Stanford, CA : Center for the Study of Language and Information , c1990-
|
9 |
The situation in logic / Jon Barwise
: pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1989
|
10 |
Situations and attitudes / Jon Barwise and John Perry
Cambridge, Mass. : MIT Press , c1983
|
11 |
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
: pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977
|
12 |
The syntax and semantics of infinitary languages / edited by Jon Barwise
Berlin ; New York : Springer-Verlag , 1968
|