Identity of proofs /

Bibliographic Details

Main Author:	Widebäck, Filip
Format:	Thesis Book
Language:	Swedish
Published:	Stockholm : Almqvist & Wiksell International, [2001]
Series:	Acta Universitatis Stockholmiensis. Stockholm studies in philosophy. 22.
Subjects:	Proof theory.