[FOM] looking for review

Steve Stevenson steve at cs.clemson.edu
Tue Dec 10 11:14:27 EST 2002

Previous message: [FOM] Conference announcement: Logic and it's Applications in Algebra and Geometry.
Next message: [FOM] Weak truth and strong truth
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Morning to all:

 One of my graduate students, Ted Doyle by name, found a review on the ACM
 digital library.

  >       I found a review for "Mechanizing Proof: Computing, Risk, and
  > Trust" by Donald A. MacKenzie
  >
  > http://www.acm.org/ubiquity/book_reviews/p_neumann_4.html

 best,
 steve

Previous message: [FOM] Conference announcement: Logic and it's Applications in Algebra and Geometry.
Next message: [FOM] Weak truth and strong truth
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list