Geodesic

Tome 16 (1980) no. 3

Sommaire

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