Title: Classics in logic