Classics in logic