The top documents tagged [mathematical logic work]