Advances in Proof Theory
Advances in Proof Theory
Thomas Strahm
,
Thomas Studer
,
Reinhard Kahle
Details
OL Work ID
OL20908644W
Subjects
Proof theory
Find this book
Open Library