Perspectives on proof theory
Subtitle: logical, computational and philosophical
By: Eric Monteiro.
Series: Research report -- no. 171.; Research report (Universitetet i Oslo.  Institutt for Informatikk) -- no. 171.
Publisher: Institute of Informatics, University of Oslo
Published: 1992
Place of publication: Oslo
Language: eng
Number of pages: 220
Subjects: Proof theory
Notes: Thesis (Dr. Scient)--Universitetet i Oslo.  Institutt for Informatikk.

Includes bibliographical references.