Title: AConcise Introduction To Logic