TY  - BOOK
AU  - Goddard, Wayne
TI  - Introducing the theory of computation
SN  - 9789380108254
U1  - 005.131 
PY  - 2010///
CY  - Boston
PB  - Jones and Bartlett Publications
KW  - Constructive mathematic
KW  - Mathematical logic
ER  -