"Truth and Knowability, on the principles C and K of MIcheal Dummett" - читать интересную книгу автора (Per Martin-lof)