TY  - RPRT
TI  - Languages, Algorithms, Procedures, Calculi, and Metalogic
AU  - Mark Burgin
PY  - 2007
UR  - https://arxiv.org/abs/math/0701121
ID  - math/0701121
ER  -