Geraldine Brady
Adjunct Assistant Professor
CSPP Mathematics Counselor

Contact Information

Phone: (773) 834-3705
Fax: (773) 702-8487

Email:

Teaching

• Autumn 2004:
  • Instructor for CSPP 55001 - Algorithms
• Summer 2004:
  • Instructor for CSPP 50102 - Mathematics for Computer Science
• Spring 2004:
  • Instructor for CSPP 55001 - Algorithms
• Autumn 2003:
  • Instructor for CSPP 55001 - Algorithms
• Summer 2003:
  • Instructor for CSPP 50102 - Mathematics for Computer Science
• Spring 2003:
  • Instructor for CSPP 55001 - Algorithms
• Autumn 2002:
  • Instructor for CSPP 55001 - Algorithms
• Summer 2002:
  • Instructor for CSPP 50102 - Mathematics for Computer Science
• Winter 2002:
  • Instructor for CSPP 55001 - Algorithms
• Autumn 2001:
  • Instructor for CSPP 570 - Algorithms
• Summer 2001:
  • Instructor for CSPP 512 - Mathematics for Computer Science

Research

List of publications in reverse chronological order.

• Geraldine Brady and Todd H. Trimble. The topology of relational calculus. Submitted to Advances in Mathematics, February 2002.
• Geraldine Brady. From Peirce to Skolem: A Neglected Chapter in the History of Mathematical Logic. Elsevier Science: North-Holland, 2000.
  Mathematical Reviews: MR 1834718
• Geraldine Brady and Todd H. Trimble. A categorical interpretation of C. S. Peirce's System Alpha. Journal of Pure and Applied Algebra, 149: 213-239, 2000.   Mathematical Reviews: MR 17627665
• Geraldine Brady and Todd H. Trimble. A string diagram calculus for predicate logic. Preprint, November 1998.
• Geraldine Brady. The Contributions of Peirce, Schroeder, Loewenheim, and Skolem to the Development of First-Order Logic. Doctoral Dissertation, Universitetet i Oslo, 1997.
• Geraldine Brady. From the algebra of relations to the logic of quantifiers. Studies in the Logic of Charles Sanders Peirce, Indiana University Press, 1997.
• Stuart A. Kurtz and Geraldine Brady. Existential Graphs: I. January 1997.

---

---

---

Last modified: 2004 December 5