How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible Ordinals.

Published in: Math. Log. Q. (1993)

Keyphrases