Գրեք սա: A tour through mathematical logic