P.G. Hinman

• Bibliography of Mathematical Logic