Constructive Proofs of Negated Statements (Q3305626)

From MaRDI portal