TY  - RPRT
TI  - Strings from Logic
AU  - Christof Schmidhuber
PY  - 2000
UR  - https://arxiv.org/abs/hep-th/0011065
ID  - hep-th/0011065
ER  -