Conway's Games and Some of their Basic Properties (Q2865734)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conway's Games and Some of their Basic Properties |
scientific article |
Statements
Conway's Games and Some of their Basic Properties (English)
0 references
3 December 2013
0 references
Conway
0 references
numbers and games
0 references
basic concepts
0 references
Mizar
0 references
proof assistant
0 references
mathematic formalization
0 references
