Keyword:Heyting Arithmetic

Publications
EasyChair Preprint 3387