Set Theory, Logic and their Limitations
"...a concise and polished text..."    J.M. Plotkin, Mathematical Reviews