Title: Logic an Introduction