Logic Information And Computation Upenn