The undecidability of the second-order u
β
Warren D. Goldfarb
π
Article
π
1981
π
Elsevier Science
π
English
β 774 KB