Results 111 to 120 of about 716 (151)

Hao Wang. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321.

Journal of Symbolic Logic, 1963
Steven Orey
openaire   +2 more sources

Yiannis N. Moschovakis. Hyperanalytic predicates. Transactions of the American Mathematical Society, vol. 129 (1967), pp. 249–282. - Thomas J. Grilliot. Hierarchies based on objects of finite type. The journal of symbolic logic, vol. 34 (1969), pp. 177–182.

Journal of Symbolic Logic, 1971
Peter G. Hinman
openaire   +2 more sources

P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 309–312.

Journal of Symbolic Logic, 1972
Bede Rundle
openaire   +2 more sources

Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 (1953), pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545.

Journal of Symbolic Logic, 1965
Steven Orey
openaire   +2 more sources

Hao Wang. Many-sorted predicate calculi. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 322–333.

Journal of Symbolic Logic, 1963
Steven Orey
openaire   +2 more sources

S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.

Journal of Symbolic Logic, 1971
Mihály Makkai
openaire   +2 more sources

Ju. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 171–177.

Journal of Symbolic Logic, 1972
Ann S. Ferebee
openaire   +2 more sources