@immo

A First Course in Logic: An introduction to model theory, proof theory, computability, and complexity

. Oxford University Press, Oxford; New York, (2004)

Links and resources

Tags