Hereditarily finite sets and identity trees

Abstract
No abstract available