Лекция 19. Л. Д. Беклемишев. Гёделевская система Т. Функ. интерпретация интуиционист. арифметики в Т

Мы рекомендуем

30 сентября 2024

Семен Альтов. Рассказ «Муравей и слон» (1991)

12 декабря 2024

В Госдуме предложили запретить деятельность коллекторских агентств

27 апреля 2022

Крик. Криминал и комментарии. 27 ноября 2017

19 июля 2024

08s08 Кринжовые истории