Foundations Of Logic And Theory Of Computation door A. Sernadas & Cristina Sernadas