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