What are the main ideas needed to prove that only $92$ Johnson solids exist?

Question

The Johnson solids are the strictly convex polyhedra made out of regular faces, excluding the vertex-transitive ones (which instead enter into the uniform category). Victor Zalgaller proved in 1969, in his paper Convex Polyhedra With Regular Faces, that only $92$ such polyhedra existed. I've read that he did this by a tedious computer search. I’m not aware of any other document that covers this proof.

The problem is, even after scouring the internet (and even some not fully legitimate sites) for about an hour, I've been unable to find a copy of his paper anywhere (except for this one, in Russian). And I have no idea of how I would replicate the argument myself. It doesn't even seem trivial that there is a way to reduce the problem to finitely many calculations. In fact, the existence of prisms and antiprisms seems to effectively contradict that intuition: what's stopping us from taping a bunch of equilateral triangles to a $50$-gonal prism and creating a valid solid, for example? [EDIT: Ted's answer already redirects to another source explaining this.]

I'm not asking for a full rundown of the proof, that would be too much to ask. My question is:

What are the main ideas of Zalgaller's (or any other's) enumeration of the Johnson solids?

Any accessible reference is welcome.

Answer 1

A good start is this paper of Johnson, which establishes that the number of such solids is finite, apart from prisms and antiprisms. In particular, the theorem 2 should answer your question "what's stopping us from taping a bunch of equilateral triangles to a 50-gonal prism and creating a valid solid, for example?"

Answer 2

I quote Robert R. Tupelo-Schneck:

The complete list [of Johnson polyhedra] was given by Norman Johnson in 1966 and proven complete by Victor Zalgaller in 1969. The proof proceeds by an exhaustive case-analysis over all ways to attach regular faces together which preserve convexity as well as the property of being noncomposite. A regular-faced polyhedron is noncomposite if there is no plane which divides the polyhedron into two regular-faced polyhedra. Zalgaller established that the noncomposite strictly convex regular-faced polyhedra were the prisms and antiprisms (excepting A4, the octahedron, which is composite) and a further 28 polyhedra. Zalgaller concluded by stating the theorem that all junctions of those polyhedra along entire faces which are strictly convex are in the list of 110 [Platonic, Archimedean, and Johnson solids], establishing the classification.

Actually, it doesn't seem like Zalgaller actually completed the details of the argument. Quoting A. V. Timofeenko:

The completeness of that list was stated in [Zalgaller 1967] on page 18 as a theorem; however, it was supplied with only a brief indication to a method of proof, namely, the listing of all possible adjoins of noncomposite polyhedra without conditional edges along entire faces.

Here, a noncomposite polyhedron is a Johnson solid that cannot divided into two of them by a plane. It only remains to see how the noncomposite polyhedra were found.