Statistical Estimation of Semantic Provability
Antonín Špaček
Source: Proc. Fourth Berkeley Symp. on Math. Statist. and Prob., Vol. 1 (Univ. of Calif. Press, 1961), 655-668.
First Page:
Show
Hide
Primary Subjects: 02.52
Keywords: Foundations; Decision theory
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bsmsp/1200512187
Zentralblatt MATH identifier:
0242.02035
Mathematical Reviews number (MathSciNet):
MR0136538
Berkeley Symposium on Mathematical Statistics and Probability
