Automated Deduction in von Neumann-Bernays-Godel Set Theory Addresses of Editorial Board

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
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
1
Year of publication
1992
Pages
91 - 148
Database
ACNP
SICI code