Oxford Logic Guides

Oxford Logic Guides is a 2-book series with 2 primary works first released in 1992 with contributions by Colin McLarty, Peter T. Johnstone, and Steve Awodey.