Jay Halcomb (1211)
Jay Halcomb Partner, H&S Information Systems California, USA. http://www.hsinfosystems.com (1212)
My background is in logic, mathematics and philosophy, and in computer science as a programmer. I am particularly interested in theorem provers. (1213)
...(Jay, at your convenience, please expand on this namesake page of yours so that the community can get to know you better. Welcome! =ppy) (1214)