Расширенный поиск

Мирзоев М. С.
   Математическая культура учителя информатики. Теоретико-методический аспект : монография / Мирзоев М. С. - Прометей, 2015. - ISBN 978-5-9906550-2-7.

Гетманова А. Д.
   Классическая и неклассические логики — необходимый компонент науки и современного образования : научно-методическое пособие для аспирантов всех специальностей / Гетманова А. Д. - Московский городской педагогический университет, 2010.

Маньшин М. Е.
   Математическая логика и теория алгоритмов : учебное пособие / Маньшин М. Е. - Волгоградский институт бизнеса, 2009. - ISBN 978-5-9061-7260-0.

Шнарева Г. В.
   Дискретная математика. Ч. 2 : учебно-методическое пособие для самостоятельной подготовки (квалификация - бакалавр) / Шнарева Г. В. - Университет экономики и управления, 2021.

Кисленко Н. П., Мухина И. Н.
   Информатика : учебное пособие / Кисленко Н. П., Мухина И. Н. - Новосибирский государственный архитектурно-строительный университет (Сибстрин), ЭБС АСВ, 2022. - ISBN 978-5-7795-0942-8.

Васюков, В. Л.  Формальная феноменология : учебное пособие для вузов / В. Л. Васюков. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 210 с. — (Высшее образование). — ISBN 978-5-534-11497-3.

Мачикина Е. П., Новожилов Д. И.
   Задачник по математической логике и теории алгоритмов : учебное пособие / Мачикина Е. П., Новожилов Д. И. - Сибирский государственный университет телекоммуникаций и информатики, 2023.

   Алгебра и логика : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1992.
   Т. 31, № 1. - 1992. - 97 с. - Библиогр. в конце статей. - ISBN 5-7623-0396-2.

   Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1990. - ISSN 0373-9252.
   Т. 29, № 1. - 1990. - 131 с. - Библиогр. в конце статей.

   Алгебра и логика : сборник научных работ / АН СССР, Сибирское отделение, Ин-т математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1988. - ISSN 0373-9252.
   Т. 27, № 4. - 1988. - 499 с. - Библиогр. в конце статей.