In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the recent
Predicates and their Subjects is an in-depth study of the syntax-semantics interface focusing on the structure of the subject-predicate relation. Starting from
Complex predicates can be loosely defined as a sequence of items that behave as a single predicate, projecting a single argument structure within a clause. Each
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (