This volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and …
