A Friendly Introduction to Mathematical Logic — Leary Christopher C. — libreta