The self-embedding theorem of WKL0 and a
β
Kazuyuki Tanaka
π
Article
π
1997
π
Elsevier Science
π
English
β 658 KB