Berkeley Symposium on Mathematical Statistics and Probability

Statistical Estimation of Semantic Provability

Antonín Špaček

Full-text: Open access

Article information

Source
Proc. Fourth Berkeley Symp. on Math. Statist. and Prob., Vol. 1 (Univ. of Calif. Press, 1961), 655-668

Dates
First available in Project Euclid: 16 January 2008

Permanent link to this document
https://projecteuclid.org/ euclid.bsmsp/1200512187

Mathematical Reviews number (MathSciNet)
MR0136538

Zentralblatt MATH identifier
0242.02035

Subjects
Primary: 02.52

Keywords
Foundations Decision theory

Citation

Špaček, Antonín. Statistical Estimation of Semantic Provability. Proceedings of the Fourth Berkeley Symposium on Mathematical Statistics and Probability, Volume 1: Contributions to the Theory of Statistics, 655--668, University of California Press, Berkeley, Calif., 1961. https://projecteuclid.org/euclid.bsmsp/1200512187.


Export citation