V-реализуемость и интуиционистская логикадоклад на конференции