Вайнштейн [1965] показал, что универсально-экзистенциальное предложение устойчиво относительно ( конечных) прямых произведений тогда и только ... - Большая Энциклопедия Нефти и Газа
Вайнштейн [1965] показал, что универсально-экзистенциальное предложение устойчиво относительно ( конечных) прямых произведений тогда и только тогда, когда оно логически эквивалентно универсально-экзистенциальному хорновскому предложению.
![Вайнштейн [1965] показал, что универсально-экзистенциальное предложение устойчиво относительно ( конечных) прямых произведений тогда и только тогда, когда оно логически эквивалентно универсально-экзистенциальному хорновскому предложению.](/pic/3124821esr52s10001305004.png)