On an Extension of Hilbert's Second |var
โ
T. B. Flannagan
๐
Article
๐
1975
๐
Association for Symbolic Logic
๐
English
โ 156 KB