On Computer-Assisted Proofs in Ordinal Number Theory

Authors
J.G.F.Belinfante
Citation
J.g.f.belinfante, On Computer-Assisted Proofs in Ordinal Number Theory, Journal of automated reasoning , 22(3), 1999, pp. 341-378
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
22
Issue
3
Year of publication
1999
Pages
341 - 378
Database
ACNP
SICI code