Georg, Johan2018-10-102024-06-282018-10-102024-06-282011978-94-007-1736-7https://drs.ess.gov.et/handle/123456789/8417enIntuitionisticTreatise on Intuitionistic Type TheoryBook