Towards the Automation of Set Theory and its Logic (1978)

by F M Brown
Venue:Artificial Intelligence