Ангилал:20-р зууны математикийн логик судлаач