Kybernetika 16 no. 3, 225-239, 1980

Statistical theory of logical derivability

Jan Šindelář

Classification:

68T15, 62C99, 03B35, 68G15, 03F20, 68Q65