Book,

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

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

Meta data

Tags

Users

  • @immo

Comments and Reviews