Nominal (Universal) Algebra: Equational Logic with Names and Binding | UPT Perpustakaan UHAMKA