Introduction to Mathematical Logic — Mendelson Elliott — libreta