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

A First Course in Logic

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

By

By

2004 • 431 pages

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies