Изменения

Перейти к: навигация, поиск

Исчисление предикатов

1 байт убрано, 09:25, 13 января 2012
Нет описания правки
[[Категория: Математическая логика]]
 
[[Лекция 3 | <<]][[Лекция 5 | >>]]
==Исчисление предикатов==
|proof=Без доказательства.
}}
 
 
[[Лекция 3 | <<]][[Лекция 5 | >>]]
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16508»

Навигация