Description: Proof, logic, and formalization

Corporate Author:	ebrary, Inc.
Other Authors:	Detlefsen, Michael,
Format:	Book
Language:	English
Published:	London ; New York : Routledge, 1992.
Subjects:	Proof theory.
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10017091

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