Login / Signup

Logic of proofs and provability.

Tatiana Yavorskaya
Published in: Ann. Pure Appl. Log. (2001)
Keyphrases