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