The Anti-Foundation Axiom In Constructive Set Theories (2003)

by M. Rathjen
Venue:Stanford University Press
Citations:7 - 6 self