Is the set of ∀∗∃∗-formulas valid in the Magari algebra of PA decidable? Examples of meaningful valid arithmetical principles expressed by ...
確定! 回上一頁