A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

by Arnon Avron
Citations:1 - 1 self