Kybernetika 15 no. 7, 1-97, 1979

Statistical approach to proof theory

Ivan Kramosil

Classification:

68T15, 03B35, 62P99, 68G15, 68-02, 03-02, 68-01, 03B52, 03F99, 03-01

paper.pdf