On the Representation of Herbrand Functi
โ
A. H. Lightstone and A. Robinson
๐
Article
๐
1957
๐
Association for Symbolic Logic
๐
English
โ 483 KB