Synopses & Reviews
An introduction to many-sorted logic as an extension of first-order logic.
Table of Contents
1. Standard second order logic; 2. Deductive calculi; 3. Categoricity of second order peano arithmetic; 4. Frames and general structures; 5. Type theory; 6. Many-sorted logic; 7. Applying MSL.