TY  - BOOK
AU  - sernadas, amilcar
AU  - Sernadas, Christina
TI  - Foundations of Logic and Theory of Computation
SN  - 9781904987888
AV  - QA267.3.S47 2012 
CY  - London
PB  - Kings College London
KW  - Computer Logic; Computation
N1  - includes bibliography and index
ER  -