Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Predicate calculus)
Results:7items
On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk.
Warszawa : Panst. Wydaw. Naukowe ; available from Ars Polona , 1979. - (Dissertationes mathematicae)
Books
Definable quantifiers in second order arithmetic and elementary extensions of {Greek letter omega}-models / Wojciech Guzicki.
Warszawa : Panstwowe Wydawn. Naukowe , 1983. - Warszawa : Available, Ars Polona , 1983. - (Dissertationes mathematicae)
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard.
Warszawa : Panstwowe Wydawn. Naukowe , 1976. - (Dissertationes mathematicae)
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen.
v. 127. - Dordrecht, Holland : D. Reidel Pub. Co. , c1979.. - (Synthese library ; v. 127)
Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
447. - Berlin : Springer , 1975. - (Lecture notes in mathematics ; 447)
Predicate-oriented database search algorithms / Dan E. Willard.
New York : Garland Publishing , 1979. - (Outstanding dissertations in the computer sciences)