Table of contents

CONTENTS Introduction § 1. The Kolmogorov calculus § 2. The intuitionistic, minimal, and positive calculi § 3. Properties of the minimal calculus § 4. Models of the intuitionistic propositional calculus § 5. The separability of the intuitionistic propositional calculus § 6. The Kolmogorov calculus as the implicative-negative part of the minimal calculus § 7. The Kolmogorov predicate calculus § 8. Inferences of type References

CONTENTS Foreword Introduction § 1. Introduction to the theory of operations on sets § 2. The Kolmogorov hierarchy § 3. The R-transform § 4. Inductive analysis. Indices § 5. R-sets: construction of the hierarchy § 6. The nature of R-sets § 7. Properties of R-sets § 8. Kolmogorov's problem on the lengths of Borel hierarchies Conclusion References

CONTENTS § 1. Introduction § 2. Reversible processes § 3. Reversible locally discrete Markov processes with interaction § 4. Reversible diffusion processes with interaction § 5. The invariance principle for reversible processes § 6. The concept of reversibility in the theory of queues References