Description: Proof, logic, and formalization

Bibliographic Details
Other Authors:	Detlefsen, Michael, 1948-
Format:	Electronic
Language:	English
Published:	London ; New York : Routledge, 1992.
Subjects:	Proof theory. Logic, Symbolic and mathematical. Electronic books.
Online Access:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=155840

Description
Physical Description:	x, 241 p. : ill.
Bibliography:	Includes bibliographical references and index.