document.write("« Provability Interpretation of Propositional and Modal Logics. (arXiv:1704.07677v1 [math.LO])");document.write(" | ");document.write("Quantitative error term in the counting problem on Veech wind-tree models. (arXiv:1704.07428v1 [math.DS]) »");