Oxford Logic Guides

Oxford Logic Guides is a 4-book series with 4 primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and 5 others.