ABSTRACT

This chapter introduces “two-place” predicates and multiple quantification.