同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #First-order logic)
該当件数:4件
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)
図書 <BB00257784>
The principles of mathematics revisited / Jaakko Hintikka
Cambridge ; New York : Cambridge University Press , 1996
図書 <BB00323370>
Henkin-Keisler models / by George Weaver
hardcover : alk. paper. - Boston : Kluwer Academic Publishers , c1997
電子書籍 <OB00867965>
Logic, language-games and information : Kantian themes in the philosophy of logic / by Jaakko Hintikka
Oxford : Clarendon Press , 1973
図書 <BB00015129>