User:Harb

I am a computer engineering student at LSU. I have a background in predicate calculus and in digital logic.