П 784 Программирование: математическая логика [Электронный ресурс] : учебное пособие для вузов / М. В. Швецкий [и др.] ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line. - (Высшее образование). - Библиогр.: с. 663-672. - ISBN 978-5-534-11009-8 : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-matematicheskaya-logika-439066#page/1 |
М 540 Метафизика. Век ХХI. Альманах [Электронный ресурс] / ред., сост. Ю. С. Владимиров. - 4-е изд.(эл.). - Электрон. текстовые дан. - М. : Лаборатория знаний, 2020. Вып. 4 : Метафизика и математика. - on-line : ил. - Библиогр. в конце разд. - ISBN 978-5-00101-714-1 : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/151556/#1 |
Д 721 Драгалин, Альберт Григорьевич. Конструктивная теория доказательств и нестандартный анализ : научное издание / Альберт Григорьевич Драгалин; Ред. Г. Е. Минц. - М. : Едиториал УРСС, 2003. - 543[1] с. : ил. - Библиогр.: с. 520-525. -Алф.-Предм. указ.: с. 526-543. - ISBN 5-354-00387-3 (в пер.) : 160.00 р. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (1 экз.) Свободны: аунл (1) |