Logic Advanced course Textbook for High Schools Vol 2 Logika Uglublennyy kurs Uchebnoe posobie dlya VUZov izd 2