Программа чтения по формальной логике (сокращенная), 9 книг списком обложками