Abstract

This short monograph is a formulation and study of a system of first-order predicate logic of terms with a Hibert-Bernays selection-symbol E. The author proceeds through the primitive notation to recursive definitions of terms, relates the usual predicate calculi to this logic of terms, discusses an appropriate theory of models for the system, and finally proves it complete. This paper is one in a series of informal lecture notes in mathematics; hopefully more such studies in logic will appear in the series.—P. J. M.