Takeuti Gaisi

Proof Theory - Amsterdam North Holland 1975 - vii,372p. cm.

19583

Textual


Proof Theory

B:R1, L5