HA

Medical abbreviations:
HA

Heyting Arithmetic