References
- Maan T. Alabdullah, Essam El-Seidy, and Neveen S. Morcos. On numbers and games. International Journal of Scientific and Engineering Research, 11:510–517, February 2020.
- Norman L. Alling. Foundations of Analysis Over Surreal Number Fields. Number 141 in Annals of Discrete Mathematics. North-Holland, 1987. ISBN 9780444702265.
- Heinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, (1). Springer, Berlin, 2., neubearb. aufl. edition, 1967.
- Chad E. Brown and Karol Pąk. A tale of two set theories. In Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, and Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics – 12th International Conference, CICM 2019, CIIRC, Prague, Czech Republic, July 8-12, 2019, Proceedings, volume 11617 of Lecture Notes in Computer Science, pages 44–60. Springer, 2019. doi:10.1007/978-3-030-23250-4_4.
- John Horton Conway. On Numbers and Games. A K Peters Ltd., Natick, MA, second edition, 2001. ISBN 1-56881-127-6.
- Oliver Deiser. Einführung in die Mengenlehre: die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. Springer, Berlin, 2., verb. und erw. aufl. edition, 2004. ISBN 3-540-20401-6.
- Sebastian Koch. Natural addition of ordinals. Formalized Mathematics, 27(2):139–152, 2019. doi:10.2478/forma-2019-0015.
- Karol Pąk. Conway numbers – formal introduction. Formalized Mathematics, 31(1): 193–203, 2023. doi:10.2478/forma-2023-0018.
- Karol Pąk. Integration of game theoretic and tree theoretic approaches to Conway numbers. Formalized Mathematics, 31(1):205–213, 2023. doi:10.2478/forma-2023-0019.
- Dierk Schleicher and Michael Stoll. An introduction to Conway’s games and numbers. Moscow Mathematical Journal, 6:359–388, 2006. doi:10.17323/1609-4514-2006-6-2-359-388.