Login / Signup

The unprovability of small inconsistency - A study of local and global interpretability.

Albert Visser
Published in: Arch. Math. Log. (1993)
Keyphrases