Fixed points in Peano arithmetic with or
β
Gerhard JΓ€ger
π
Article
π
1993
π
Elsevier Science
π
English
β 842 KB