TY  - BOOK
AU  - Pippenger, Nicholas.
TI  - Theories of computability
SN  - 0521553806
U1  - 511.3 
PY  - 1997///
CY  - New York: 
PB  - Cambridge University Press, 
KW  - Automata
KW  - Computability
KW  - Logical expressions
KW  - Math
ER  -