A Type-Free Gรถdel Interpretation
โ
Michael Beeson
๐
Article
๐
1978
๐
Association for Symbolic Logic
๐
English
โ 330 KB