Logical foundations of computer science--Tver '92 | lit.salon