Գրեք սա: A course in mathematical logic