Tuesday, April 7, 2009

Predicate Logic

I just finished my first predicate logic proof! What fun!