Proof, logic, and formalization - Detlefsen, Michael, 1948- (London ; New York : Routledge, 1992)
Includes bibliographical references and index.
Description based on metadata supplied by the publisher and other sources.
Electronic reproduction. Santa Fe, Arg.: elibro, 2020. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
Keywords: Proof theory; Logic, Symbolic and mathematical; Electronic books