A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

2004 • 431 pages

We don't have a description for this book yet. You can help out the author by adding a description.


Become a Librarian

Reviews

Popular Reviews

Reviews with the most likes.

There are no reviews for this book. Add yours and it'll show up right here!