Meta-logic

Randall Holmes (holmes@catseye.idbsu.edu)
Thu, 17 Aug 1995 15:29:18 -0600

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Bernd Ingo Dahn: "QED Framework"
Previous message: Warren A. Hunt Jr.: "FM9001 Release Announcement"

A very preliminary version of some remarks on this subject can be
found on my WWW page (address in my signature). This is pursuant on
what I undertook to do at the QED workshop; as I make progress I will
update the WWW page or post something here.

The opinions expressed | --Sincerely, M. Randall Holmes
above are not the official | Math. Dept., Boise State Univ.
opinions of any person | holmes@math.idbsu.edu
or institution. | http://math.idbsu.edu/faculty/holmes.html

Next message: Bernd Ingo Dahn: "QED Framework"
Previous message: Warren A. Hunt Jr.: "FM9001 Release Announcement"