«О преобразовании классических выводов в интуиционистские» Труды второй международной конференции «Смирновские чтения», Москва, 1999, сс. 38–41.
Авторы: Любецкий В.А. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025 Об институте | Контакты | Противодействие коррупции |