Title: Logic, an introduction