The top documents tagged [mathematics of logics]