1 |
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
|
2 |
状況と態度 / ジョン・バーワイズ, ジョン・ペリー著 ; 土屋俊 [ほか] 訳
東京 : 産業図書 , 1992.10
|
3 |
The situation in logic / Jon Barwise
: pbk,pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1989
|
4 |
Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributionsby J. Baldwin ... [et al.]
: us,: gw. - New York : Springer-Verlag , c1985
|
5 |
Admissible sets and structures : an approach to definability theory / Jon Barwise
: gw,: us. - Berlin : Springer-Verlag , 1975
|