The top documents tagged [mathanalysis proof logic]