Proof, logic, and formalization - Detlefsen, Michael, 1948-; ebrary, Inc. (London ; New York : Routledge, 1992)
Includes bibliographical references and index.
Electronic reproduction.
Keywords: Logic, Symbolic and mathematical; Proof theory; Electronic books