Michael Rathjen
(2010-2019)
XConstructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions
2012
in: Epistemology versus ontology, Dordrecht : Springer
(2010-2019)
XConstructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions
2012
in: Epistemology versus ontology, Dordrecht : Springer