On Boolean primitive positive clones

Kuznecov introduced the concept of primitive positive clones and proved in 1977 that there are 25 Boolean primitive positive clones in a notoriously unavailable article. This paper presents a new proof of his result, relating it to Post's lattice and exhibiting finite bases for those clones.