Recursive Unsolvability of a Problem of
β
Review by: S. C. Kleene
π
Article
π
1947
π
Association for Symbolic Logic
π
English
β 326 KB