The Coq mailing list

[Amy Felty <afelty AT site.uottawa.ca>]

  Does anyone have any suggestions for readings that address the
  following question?:

  "In what sense logics that are used in computer
  science are more likeley to be intuitionistic, having
  in mind that  classical logics have also been used.
  What are the advantages and disadvangates of using
  classical logic in computer science application?"

I am submitting this question for a Philosophy graduate student here at
the University of Ottawa.  Please include her (Mehrnoosh Sadrzadeh, email:
mehrnoosh_sadr AT yahoo.com)
 in your replies.  Thank you very much.

Amy Felty