1. 2016
  2. История и философия науки и техники: словарь или справочник

    Анкин, Д. В., Бакеева, Е. В., Бездворная, М. В., Биричева, Е. В., Бряник, Н. В., Волков, А. В., Горинский, А. С., Гришаева, Е. И., Давлетшин, И. Ш., Даниленко, Л. Е., Джинджолия, Б. И., Долгих, А. Ю., Дуплинская, Ю. М., Дьячкова, А. В., Заболотских, К. И., Зарубина, Т. А., Каваева, Е. А., Кислов, А. Г., Кляшторный, А. С., Колмакова, А. В., & 31 othersКомаров, А. Ю., Костюк, И. Ю., Котелевский, Д. В., Крюкова, П. Г., Ламберов, Л. Д., Лойфман, И. Я., Луньков, А. С., Маяцкий, М. А., Мирошников, Ю. И., Ольховиков, Г. К., Пивоваров, Д. В., Плотников, В. И., Попцов, Д. А., Самойлов, И. В., Севастеенко, А. В., Смолина, Н. С., Стародубцева, Е. П., Сухарева, В. А., Тарабанов, Н. А., Токмянина, С. В., Томюк, О. Н., Тютюнников, А. А., Фархитдинова, О. М., Халтурин, Ю. Л., Хамзина, Л. Р., Черемных, Н. М., Шитиков, М. М., Шуталева, А. В., Яковлев, К. В., Томюк, О. Н. (ed.) & Бряник, Н. В. (ed.), 2016, Екатеринбург: Издательско-полиграфическое предприятие «Макс-Инфо». 328 p.

    Research output: Book/ReportAnthologypeer-review

  3. 2014
  4. Model-theoretic characterization of intuitionistic predicate formulas

    Olkhovikov, G. K., Aug 2014, In: Journal of Logic and Computation. 24, 4, p. 809-829 21 p.

    Research output: Contribution to journalArticlepeer-review

  5. On flattening elimination rules

    Olkhovikov, G. K. & Schroeder-Heister, P., Mar 2014, In: Review of Symbolic Logic. 7, 1, p. 60-72 13 p.

    Research output: Contribution to journalArticlepeer-review

  6. РЕФЕРЕНЦИЯ К ДЕЙСТВИЯМ КАК ОСНОВАНИЕ ДЛЯ РЕФЕРЕНЦИИ К ОБЪЕКТАМ

    Ольховиков, Г. К., 2014, In: Известия Уральского федерального университета. Серия 3: Общественные науки. 125, 1, p. 57-71

    Research output: Contribution to journalArticlepeer-review

  7. 2013
  8. MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

    Olkhovikov, G. K., Jun 2013, In: Review of Symbolic Logic. 6, 2, p. 348-365 18 p.

    Research output: Contribution to journalArticlepeer-review

  9. FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC

    Mints, G., Olkhovikov, G. & Urquhart, A., 2013, In: Journal of Symbolic Logic. 78, 3, p. 937-950 14 p.

    Research output: Contribution to journalArticlepeer-review

  10. 2012
  11. ЛОГИКА ВЫСКАЗЫВАНИЙ: ЯЗЫК, АЛГЕБРА, ИСЧИСЛЕНИЯ: учебное пособие

    Кислов, А. Г., Ольховиков, Г. К. & Уколов, С. Ю., 2012, Екатеринбург: Издательство Уральского университета. 114 p.

    Research output: Book/ReportScholarly editionpeer-review

Previous 1 2 Next

ID: 64243