Towards the automation of set theory and its logic
作者：
摘要
We give a description of a prototype extensible deductive system for elementary set theory which is based on truth-value preserving transformations, and then describe an experimental application of it to the first few chapters of W. V. O. Quine's book: Set Theory and its Logic.
论文关键词：
论文评审过程：Received 7 May 1977, Revised 15 January 1978, Available online 11 July 2006.
论文官网地址：https://doi.org/10.1016/S0004-3702(78)80017-4
