Publication:4247301
From MaRDI portal
zbMath0940.03069MaRDI QIDQ4247301
Jan Cederquist, Thierry Coquand, Sara Negri
Publication date: 5 October 1999
Related Items
Unnamed Item, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Constructive metrisability in point-free topology., Some points in formal topology., Eliminating disjunctions by disjunction elimination, The Hahn-Banach theorem by disjunction elimination, The intensional side of algebraic-topological representation theorems