A note on proofs of falsehood

Jan Krajícek. A note on proofs of falsehood. Arch. Math. Log., 26(1):169-176, 1987. [doi]

Abstract

Abstract is missing.