We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate (╞*) appropriate to such structures. We indicate the utility of ...

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...