3 works on record
Catalogue of the library of the late Robert Trueman
Properties and Propositions
Forall X : Calgary