PakCat catalogue record Mathematcal Logic By Turing, Alan Mathison Bibliographic details ISBN0444504230 PublisherAmsterdam Publication placeElsevier Science Publication year2001 Edition1st LanguageEnglish Material typeBook Physical description293 Additional authorsGandy, R.O.