Шрайнер П. А.

Публикации в СМЖ:

Шрайнер П. А. О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями // Том 41 (2000), Номер 2, стр. 470–479
© Сибирский Математический Журнал, 2003-2006