લેબર કહેવાતા "ગાણિતિક સાબિતી અને વાતચીત.