Course on mathematical logic - Srivastava Shashi Mohan (New York Springer, 2013)
Keywords: I I C