Enumeration of the adjunctive hierarchy of hereditarily finite sets | UPT Perpustakaan UHAMKA