Non-integrable Ising Models in Cylindrical Geometry: Grassmann Representation and Infinite Volume Limit