Author:
Publication: Artificial Intelligence
Towards the automation of set theory and its logic
Erratum