Kolmogorov's interpretation of logic

GPTKB entity