Title: Concise history of logic