城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #First-order logic)
該当件数:6件
First-order logic / Raymond M. Smullyan
Berlin : Springer-Verlag , c1968. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43)
図書
First order mathematical logic
Waltham, Mass. : Blaisdell Pub. Co. , {1967}. - (A Blaisdell book in pure and applied mathematics)
Predicate logic : introduction to logic / Howard Pospesel.
Englewood Cliffs, N.J. : Prentice-Hall , 1976
A lattice of chapters of mathematics : interpretations between theorems / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
Providence, R.I., USA : American Mathematical Society , 1990. - (Memoirs of the American Mathematical Society ; no. 426)
Duality and definability in first order logic / Michael Makkai
Providence, R.I. : American Mathematical Society , 1993. - (Memoirs of the American Mathematical Society ; no. 503)
Semigroups underlying first-order logic / William Craig
Providence, R.I. : American Mathematical Society , c2006. - (Memoirs of the American Mathematical Society ; no. 866)