![](/img/cover-not-exists.png)
An intuitionistic proof of Kruskal’s theorem
Wim VeldmanVolume:
43
Language:
english
Pages:
50
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s00153-003-0207-x
Date:
February, 2004
File:
PDF, 421 KB
english, 2004