БОРИСОВ, Е. В. Кондициональная логика с λ-оператором. Respublica literaria, [S. l.], v. 7, n. 2, p. 22–29, 2026. DOI: 10.47850/RL.2026.7.2.22-29. Disponível em: https://respublicaliteraria.ru/index.php/rl/article/view/403. Acesso em: 19 июн. 2026.