First Course in Logic; An introduction to model theory, proof theory, computability, and complexity 2004 · ENGLISH · PDF View details →