The top documents tagged [basic mathematical logic]