Set Theory with and within urelements and categories of interpretation
Benedikt Löwe

Abstract: