Գրեք սա: A concise introduction to logic