Title: Introduction to Logic (His Introduction to logic)