TY  - BOOK
AU  - Shanker,S.G.
TI  - Godel's theorem in focus
SN  - 0709933576 :
U1  - 517.521 
PY  - 1988///
CY  - London
PB  - Croom Helm
KW  - Godel's theorem
KW  - Algorithms
N1  - Includes bibliographical references and index
ER  -