Văn bản này: A concise introduction to logic