Mathematical logic - Kleene, Stephen Cole (Dover Publications, 2002)
Keywords: Mathematics