Jay Halcomb    (1211)

Jay Halcomb
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)