The top documents tagged [mathematical logic logic]