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