Login / Signup

On propositional quantifiers in provability logic.

Sergei N. ArtëmovLev D. Beklemishev
Published in: Notre Dame J. Formal Log. (1993)
Keyphrases