Գրեք սա: An introduction to logic