The disjunction and related properties for constructive Zermelo-Fraenkel set theory

From MaRDI portal
Publication:5486250

DOI10.2178/jsl/1129642124zbMath1100.03046OpenAlexW2056914778MaRDI QIDQ5486250

Michael Rathjen

Publication date: 6 September 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1129642124




Related Items



Cites Work