paper.pdf
2013-02-19 Christian Urban polished some typos in the paper
2013-02-19 Christian Urban added link and comment to fourth edition of Boolos
2013-02-19 Christian Urban added clear-definition to paper
2013-02-15 Christian Urban split Mopup TM into a separate file
less more (0) -100 -30 -10 -4 tip