Statistical Estimation of Provability in Boolean Logic
Review by: A. A. MullinVolume:
27
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2963722
Date:
March, 1962
Fichier:
PDF, 146 KB
english, 1962