Критерий корректности интуиционистской логики относительно обобщенной реализуемостидоклад на конференции