大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #First-order logic)
該当件数: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. - (CSLI lecture notes ; no. 23)
図書