Mints, Grigori2019-08-022024-04-262019-08-022024-04-2620020-306-46975-8https://drs.ess.gov.et/handle/12345678/77649enA Short Introduction to Intuitionistic LogicBook