Title: An elementary handbook of logic