1 citations · 1 across the 1 of their papers we have counts for
1 paper
Michael O'Connor
We find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.