ROOT
2013-11-23 Christian Urban added things --- in messy state
2013-07-27 Christian Urban updated
2013-07-27 Christian Urban started journal version
2013-07-23 Christian Urban new verison of the slides
2013-07-17 Christian Urban added slides
2013-02-26 Christian Urban tuned some files
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-19 Christian Urban added newer ROOT file
less more (0) tip