TY  - BOOK
AU  - Gandy, R. O., ed.
AU  - edited by R. O. Gandy and C. E. M. Yates
TI  - Mathematical logic
SN  - 9780444504234,
U1  - 511.3 GAN 
PY  - 2001///
CY  - Amsterdam: 
PB  - Elsevier Science B. V., 
KW  - Algorithms & data structures
KW  - Artificial intelligence
KW  - Complex analysis
KW  - Complex variables
KW  - Information architecture
N1  - includes bibliographical references
ER  -