Algebra and Logic

Book Chapter
Oitavem,I
– Ways of Proof Theory

2010

10.1515/9783110324907.355