Вики

Уильям Элвин Ховард

Уильям Элвин Говард Уильям Элвин Говард – специалист по теории доказательств, известный своей работой о формальном сходстве между интуиционистской логикой […]