A Nominal Axiomatization of the Lambda Calculus | UPT Perpustakaan UHAMKA