
alex.sakharov.net
Alex SakharovObjectDesign (now owned by Progress Software. Intersolv (now owned by Serena. National Academy of Science, Russia. St Petersburg University, Russia. Association for Computing Machinery. St Petersburg Mathematical Society. St Petersburg school #30 "tridtsatka". Intuitionistic Predicate Logic with Decidable Propositional Formulas, Reports on Mathematical Logic. Classicality as a Property of Predicate Symbols, 6th Panhellenic Logic Symposium. OOPSLA 2000 Companion more. 35(2000), #4 more. 29(1994), #5 more.
http://alex.sakharov.net/