Completeness and validity for intuitionistic predicate logic - Troelstra, Anne S. 1939-2019 (1976)
Keywords: Intuitionistic mathematics; Model theory; Proof theory