C64Music/MUSICIANS/Y/YQN/Formal_Axiomatic_Theories.sid 
Emulated in your browser by libsidplayfp (reSIDfp or SIDLite) in WebAssembly, GPL-2.0-or-later: source, licence.
| Title | Formal Axiomatic Theories |
| Author | Yann Guillermou (YQN) |
| Released | 2021 YQN |
| Format | PSID v2 |
| Songs | 1 (default 1) |
| SID model | MOS 8580 |
| Clock | PAL |
| Load / init / play | $1000 / $1000 / $1003 |
| Size | 5.6 KB |
| Length | 1:51.103 |