On theorems of Gödel and Kreisel: Completeness and Markov's principle
scientific article; zbMATH DE number 638615
scientific article