Authors: Dov M. Gabbay, Raymond M. Smullyan, Mark A. Reynolds, Michael Dummett, Marcelo Finger
The Oxford Logic Guides book series by multiple authors includes books Elementary Categories, Elementary Toposes, Recursion Theory for Metamathematics, Arithmetic, Proof Theory, and Computational Complexity, and several more. See the complete Oxford Logic Guides series book list in order, box sets or omnibus editions, and companion titles.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.