TY  - BOOK
AU  - Shanker S G
TI  - Godel's theorem in focus
SN  - 0-7099-3399-1
U1  - 511.3 
PY  - 1988///
CY  - London
PB  - Croom Helm
KW  - Godel's theorem
KW  - Mathematical logic
ER  -