Воронов
Новая страница: «==Класс IP== {{Определение |definition = <tex>IP[f] = \{L|\exists \langle V, P \rangle : </tex> <br/> <tex> 1) \forall x \in L \Rightarrow P(V(x) ...»
18:17
+2063