Login / Signup

Preservativity logic: An analogue of interpretability logic for constructive theories.

Rosalie Iemhoff
Published in: Math. Log. Q. (2003)
Keyphrases