Statistical estimation of provability in Boolean logic

Name: Statistical estimation of provability in Boolean logic
Author: Antoniń Špaček

by Antoniń Špaček · 1 review · 1962

Reviewed by	Journal	Date	Access
A. A. Mullin	The Journal of Symbolic Logic	1962	Restricted