Gravar-mail: Mathematical Aspects of Hodgkin-Huxley Neural Theory