 Regulae solvendi sophismata [RSS] or Logica (a collection of six treatises: on paradoxes, on knowing and doubting, on relative terms, on beginning and ceasing, on maxima and minima, and on the speed of motions) is concerned with instructions for solving different types of sophisms in the first year of logical studies. In a way, [RSS] is a paradigm of authenticity for Heytesbury’s works (mutual coherence being used as the criterion of authenticity). Sophismata [Soph] is a collection of sophisms for advanced students working on natural philosophy. Sophismata asinina [SophAs] is a collection of sophistical proofs that the reader is a donkey. Iuxta hunc textum [IHT], also known as Consequentiae Heytesbury, is a collection of sophisms designed for testing formal inference rules. De sensu composito et diviso [SCD] is a manual on the logical analysis of the de re/de dicto ambiguity.