Sets of theorems with short proofs (1974)

by D Richardson
Venue:Journal of Symbolic Logic