Связанные правки для «Математическая логика (318, 319/2, 241, 242)»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
7 мая 2024
- (Журнал загрузок); 16:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (теперь здесь снова интуиционистская логика (в связи с урезанием концовки по болезни))
6 мая 2024
- (Журнал загрузок); 22:02 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (2023-2024, теперь тут про формальную верификацию)
- (Журнал загрузок); 22:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (2023-2024, без существенных изменений)
- (Журнал загрузок); 22:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (2023-2024, без существенных изменений)