Wednesday, August 20, 2008

Cornell Math - Recent Ph.D. Recipients

Cornell Math - Recent Ph.D. Recipients:
"Michael O'Connor Using Tree Automata to Investigate Intuitionistic Propositional Logic"
Posted by at
Labels: ,

1 comment:

  1. AnonymousAugust 21, 2008 at 10:02 PM

    Congratulations, Mary! I know you must be so proud of him.
    xoxo
    Mary

    ReplyDelete

Subscribe to: Post Comments (Atom)