Proof, logic, and formalization /

Bibliographic Details

Other Authors:	Detlefsen, Michael, 1948-
Format:	Book
Language:	English
Published:	London ; New York : Routledge, 1992.
Subjects:	Proof theory. Logic, Symbolic and mathematical.