Paper/document/root.bib
2013-02-19 Christian Urban added link and comment to fourth edition of Boolos
2013-02-06 Christian Urban updated
2013-02-04 Christian Urban updated
2013-01-31 Christian Urban updated paper
2013-01-25 Christian Urban updated
2013-01-18 Christian Urban updated turing_basic by Jian
2013-01-18 Christian Urban updated to ITP and updated directories
less more (0) tip