JayHalcomb

= Jay Halcomb =

Jay Halcomb Partner, H&S Information Systems California, USA.

http://www.hsinfosystems.com

My background is in logic, mathematics and philosophy, and in computer science as a programmer. I am particularly interested in theorem provers.

...(Jay, at your convenience, please expand on this namesake page of yours so that the community can get to know you better. Welcome! =ppy)