Identity of proofs
By: Filip Widebäck.
Series: Acta Universitatis Stockholmiensis -- 22
Publisher: Almqvist & Wiksell International
Published: 2001
Place of publication: Stockholm
Language: eng
Number of pages: 85
Subjects: Proof theory.
Notes: Abstract inserted.

Extra t.p. with thesis statement inserted.

Thesis (doctoral)--Stockholm University, 2001.