Computability and Logic


  • course's webpage
  • Cook's csc438 website 2002 Fall
  • Computational logic
  • MA470:logic
  • Logic to computer science
  • Common Tautologies
  • Common Tautologies in PS
  • Programming Course in KSU

    This page was updated Jan. 2002
    Contact me at: yuana@cs.toronto.edu