Encyclopedia of Math Person

Шютте К.

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

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

← author · 1

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