TY  - BOOK
AU  - David Kueker
TI  - Mathematical Logic and Theoretical Computer Science
SN  - 9781003073055
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9781003073055
ER  -