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