A Contribution to the Mathematical Theory of Big Game Hunting
A New Method of Catching a Lion
On a Theorem of H. Pétard
Some Modern Mathematical Methods in the Theory of Lion Hunting
Further Techniques in the Theory of Big Game Hunting
15 New Ways To Catch A Lion
Seven Years of Manifold: 1968–1980
Lion-Hunting With Logic
Kós Géza: Hogyan Fogjunk Oroszlánt?
Big Game Hunting for Graduate Students in Mathematics
COM3200: Programming Language Semantics: Chapter 5. Induction Techniques. 5.5. Backward Induction and Petard's BGH Theorem
Lion Hunting and Other Mathematical Pursuits § pg9--10 & rest
John W. Tukey: His Life and Professional Contributions § pg5
Interview of John Tukey: The Princeton Mathematics Community in the 1930s [Transcript #41 (PMC41)]
On the Enfeeblement of Mathematical Skills by ‘Modern Mathematics’ and by Similar Soft Intellectual Trash in Schools and Universities
The Dangers of Computer-Science Theory
A Note On Piffles, By A. B. Smith
A Rebuke of A. B. Smith‘s Paper, 'A Note on Piffles’
On The Nature Of Mathematical Proof
The Association for Computational Heresy