Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
Полные системы модальной и интуиционистской логики, там же, с. 324-421
http://libmeta.ru/resource/mathenc/publication/p4185
Данные
| bibliographicCitation | Шютте К., Полные системы модальной и интуиционистской логики, там же, с. 324-421 |
автор