Books by Mark (University of Texas Sainsbury

* Exercises are integrated throughout the book. * Interactive introduction which engages the reader. * Each chapter concludes with updated notes to guide further reading. * Includes the results of recent work and examines the formal languages of classical first order logic and modal logic, and some alternatives.