TY  - BOOK
AU  - Sipser, Michael
TI  - Theory of computation
SN  - 9788131505137
U1  - 005.131 
PY  - 2007///
CY  - Australia
PB  - Course technology
KW  - Constructive mathematic
KW  - Mathematical logic
N1  - Bibliography p.333-36
ER  -