TY  - BOOK
AU  - George S.Boolos
AU  - John P.Burgess
AU  - Richard C.Jeffrey
TI  - Computability and Logic
SN  - 0-521-00758-5
U1  -  511.3 
PY  - 2002///
CY  - Cambridge,USA
PB  - Cambridge University Press
ER  -