@BOOK {374,
author={A. Sernadas and C. Sernadas},
editor={},
title={Foundations of Logic and Theory of Computation, in print},
publisher={King's College Publications},
year={2008}
}