東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Barwise Jon)
該当件数:8件
The syntax and semantics of infinitary languages / edited by Jon Barwise
Berlin : Springer-Verlag , 1968. - New York. - (Lecture notes in mathematics ; 72)
図書
Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman
Cambridge : Cambridge University Press , 1997. - New York. - (Cambridge tracts in theoretical computer science ; 44)
The language of first-order logic including the program Tarski's World / Jon Barwise and John Etchemendy
Menlo Park, CA : Center for the Study of Language and Information , c1990. - (CSLI lecture notes ; no. 23)
The liar : an essay on truth and circularity / Jon Barwise and John Etchemendy
New York : Oxford Univ. Pr. , c1987. - Tokyo
状況と態度 / ジョン・バーワイズ, ジョン・ペリー著 ; 土屋俊 [ほか] 訳
東京 : 産業図書 , 1992.10
うそつき : 真理と循環をめぐる論考 / ジョン・バーワイズ, ジョン・エチェメンディ著 ; 金子洋之訳
東京 : 産業図書 , 1992.5
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-. - (CSLI lecture notes ; no. 22, 26, 37)
論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳
東京 : 慶應義塾大学出版会 , 2006.9