In this paper, strongly Gorenstein flat modules are introduced and investigated. An R-module M is called strongly Gorenstein flat if there is an exact sequence ⋯→P1→P0→P0→P1→⋯ of projective R-modules with M=ker (P0→P1) such that Hom(−,F) leaves the sequence exact whenever F is a flat R-module. Several well-known classes of rings are characterized in terms of strongly Gorenstein flat modules. Some examples are given to show that strongly Gorenstein flat modules over coherent rings lie strictly between projective modules and Gorenstein flat modules. The strongly Gorenstein flat dimension and the existence of strongly Gorenstein flat precovers and pre-envelopes are also studied.
