Geodesic

Volume 16 (1980) no. 3

Sommaire

Statistical testing procedure for lengths of formalized proofs
p. 224
Statistical theory of logical derivability
p. 239
On computable real functions
p. 247
Locally best unbiased estimates of functionals of covariance functions of a Gaussian stochastic process
p. 262
Discrete stochastic regulation and tracking
p. 272
Variance of estimator of a discrete parameter
p. 284
Compartmental models of immunological tolerance
p. 293
New Books
p. 294-296
News
p. 297-299