Proof, logic, and formalization (Routledge, 1992)
Includes bibliographical references and index