Author:
Publication: Artificial Intelligence
An artificial intelligence approach to language instruction
Towards the automation of set theory and its logic