京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Predicate calculus)
該当件数:4件
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in mathematics ; 718)
図書
Büchi's monadic second order successor arithmetic / Dirk Siefkes
Berlin : Springer-Verlag , 1970. - (Lecture notes in mathematics ; 120). - (Decidable theories ; 1)
Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt
: hard,: pbk. - Dordrecht : D. Reidel , c1979. - (Synthese language library ; v. 4)
Tableau systems for first order number theory and certain higher order theories / Sue Toledo
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 447)