Mathematical Logic - A Course with Exercises Pt. 1by Rene Cori, D. Lascar, Donald H. PelletierWriting a summary for young readers…For young readersBook data: Open Library