The Logic and Computation Group
The logic and computation group is composed of faculty and
graduate students from
the
computer and information science,
mathematics, and
philosophy
departments, and participates in the
Institute for Research in the Cognitive Sciences.
The director is
Peter Freyd.
Some papers written by members of the group can be found at the
CIS ftp site
or as part of the IRCS Technical Report Series.
The group meets weekly in the
logic and computation seminar.
Faculty:
Graduate Students:
Associated Projects:
Comments about this page can be sent to stjohn@math.upenn.edu.