Mathematical Logic

Alan M. Turing , Natasha Evdokimoff , R.O. Gandy