ZF and the axiom of choice in some paraconsistent set theories

Logic and Logical Philosophy, Tom 11 (2003) s. 91-114
Thierry Libert

 

do góry