On Deciding the Provability of Certain F
β
George Boolos
π
Article
π
1977
π
Association for Symbolic Logic
π
English
β 115 KB