Authors: A.Quaife

Citation: A.quaife, Automated Deduction in von Neumann-Bernays-Godel Set Theory Addresses of Editorial Board, Journal of automated reasoning , 8(1), 1992, pp. 91-148