Матэнциклопедия Персона

Шютте К.

http://libmeta.ru/resource/mathenc/author/a2342

Входящие связи

← автор · 1

Полные системы модальной и интуиционистской логики, там же, с. 324-421