Coding true arithmetic in the Medvedev a
โ
Shafer, Paul
๐
Article
๐
2011
๐
Association for Symbolic Logic
๐
English
โ 240 KB