Login / Signup

Intuitionistic Completeness for First Order Classical Logic.

Stefano Berardi
Published in: J. Symb. Log. (1999)
Keyphrases