Login / Signup

On First-Order Theories with Provability Operator.

Sergei N. ArtëmovFranco Montagna
Published in: J. Symb. Log. (1994)
Keyphrases