The goal of this paper is to establish singular Adams type inequality for biharmonic operator on Heisenberg group. As an application, we establish the existence of a solution to Δ2Hnu=f(ξ,u)ρ(ξ)a in Ω,u|∂Ω=0=∂u∂ν∣∣∣∂Ω, ...