Login / Signup

An arithmetic interpretation of intuitionistic verification.

Tudor Protopopescu
Published in: J. Log. Comput. (2020)
Keyphrases