Computer Proofs in Godel's Class Theory with Equational Definitions for Composite and Cross

Authors
J.G.F.Belinfante
Citation
J.g.f.belinfante, Computer Proofs in Godel's Class Theory with Equational Definitions for Composite and Cross, Journal of automated reasoning , 22(3), 1999, pp. 311-339
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
22
Issue
3
Year of publication
1999
Pages
311 - 339
Database
ACNP
SICI code