Issue contents

Volume 16 (1980)

Issue: 3

Articles

209-224	I. Kramosil	Statistical testing procedure for lengths of formalized proofs
225-239	J. Šindelář	Statistical theory of logical derivability
240-247	M. Lukavcová	On computable real functions
248-262	F. Štulajter	Locally best unbiased estimates of functionals of covariance functions of a Gaussian stochastic process
263-272	V. Kučera	Discrete stochastic regulation and tracking
273-284	A. Lukš and S. Komenda	Variance of estimator of a discrete parameter
285-293	P. Klein, J. Doležal and T. Hraba	Compartmental models of immunological tolerance

Reviews

294-296