TY  - BOOK
AU  - Turing, Alan Mathison
AU  - Gandy, R. O
AU  - Yates, C. E. M
TI  - Mathematical logic
SN  - 444504230
SN  - 200102384
U1  - 511.3 TUR 
PY  - 2001///
CY  - Amsterdam ; New York
PB  - Elsevier Science
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 281-287)
ER  -