On the Representation of Herbrand Functi
✍
A. H. Lightstone and A. Robinson
📂
Article
📅
1957
🏛
Association for Symbolic Logic
🌐
English
⚖ 483 KB