Jesse Russell Ronald Cohn
Нет в продаже
Продать эту книгу
High Quality Content by WIKIPEDIA articles! A formula of the predicate calculus is in prenexnormal form if it is written as a string of quantifiers followed by a quantifier-free part (referred to as the matrix).