On Deciding the Truth of Certain Stateme
โ
George Boolos
๐
Article
๐
1976
๐
Association for Symbolic Logic
๐
English
โ 103 KB