城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Barwise Jon)
該当件数:9件
Admissible Sets and Structures: An Approach to Definability Theory
: Springer , 1976
電子ブック
Admissible sets and structures : an approach to definability theory / Jon Barwise.
Berlin : Springer , 1975. - (Perspectives in mathematical logic)
図書
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. - (Studies in logic and the foundations of mathematics ; v. 90)
Studies in model theory / {by} Jon Barwise {and others} M. D. Morley, editor.
v. 8. - {Buffalo} : Mathematical Association of America , {c1973}
The Syntax and semantics of infinitary languages / edited by Jon Barwise.
72. - Berlin : Springer , 1968. - (Lecture notes in mathematics ; 72)
The liar : an essay on truth and circularity / Jon Barwise and John Etchemendy
: hard. - New York ; Tokyo : Oxford University Press , 1987
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
1st ed. 1968.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1968). - (Lecture Notes in Mathematics. ISSN:16179692 ; 72)
Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... {et al.}.
New York : Springer-Verlag , c1985.. - (Perspectives in mathematical logic)
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
v. 101. - Amsterdam : North-Holland , 1980. - New York : Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 101)