Title: Handbook of logic