Đặt câu với từ "intuitionistic"
1. The Lindenbaum algebra of propositional intuitionistic logic is a Heyting algebra.
Die Lindenbaum-Algebra der intuitionistischen Aussagenlogik ist eine Heyting-Algebra.
1. The Lindenbaum algebra of propositional intuitionistic logic is a Heyting algebra.
Die Lindenbaum-Algebra der intuitionistischen Aussagenlogik ist eine Heyting-Algebra.