Reading list: logic
most of books for assignments