Email Record: Logical Foundations of Computer Science - Tver '92 :