The top documents tagged [mathematical logic143]