Keyword

arithmetic (1)
complexity (1)
definability (1)
finite models (1)
glivenko theorem (1)
second order intuitionistic propositional logic (1)
spectrum (1)

Prev
Next