Have a personal or library account? Click to login
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers Cover

Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers

Formalized Mathematics
Volume 31 (2023): Issue 1 (September 2023)
By: Karol Pąk  
Open Access
|Dec 2023

Authors

Karol Pąk

Faculty of Computer Science, University of Białystok, Poland
DOI: https://doi.org/10.2478/forma-2023-0019 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 205 - 213
Accepted on: Dec 12, 2023
Published on: Dec 31, 2023
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
surreal numbers,
Conway’s game,
Mizar
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2023 Karol Pąk, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Previous articleVolume 31 (2023): Issue 1 (September 2023)Next article