Constructive Logic Project
Spring 2001

Course Notes

  • Introduction to Constructive Logic and Mathematics by Thomas Streicher. The course notes used for this course.
  • Some Additional Online Reading Material

  • Proof Interpretations by Ulrich Kohlenbach. Course notes from PhD-course at BRICS.
  • Goedel's Funtional Interpretation by Jeremy Avigad and Solomon Feferman. Survey article.
  • Computation and Logic by Jeremy Avigad. Introductory course notes for a course on logic and computation.
  • Classical and Constructive Logic by Jeremy Avigad. Introductory notes on the relation between classical and constructive logic.
  • Sets, Models, and Proofs by Jaap van Oosten and Ieke Moerdijk. Course notes for introductory logic course.
  • Some Additional Offline Reading Material

  • Grigori Mints: A Short Introduction to Intuitionistic Logic

  • [ Home | Schedule | Notes | Projects ]

    Lars Birkedal
    birkedal@it-c.dk