A Construction of the Provable Wellorderings of the Theory of Species

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_16 ◽

2001 ◽

pp. 343-351 ◽

Author(s):

Per Martin-Löf

Download Full-text