Sciweavers

ENTCS
1998

Proof theory and computational analysis

13 years 11 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where ENTCS
Authors Ulrich Kohlenbach
Comments (0)