New location:

• "Homepage of Mati Pentus" (Faculty of Mechanics and Mathematics, Lomonosov Moscow State University): theory of algorithms, mathematical logic, complexity, NP-completeness (nondeterministic polynomial time), interlinguistics
• "Some papers by Mati Pentus": download papers, tutorials, lecture notes (full text), mathematical logic, Lambek calculus, noncommutative linear logic, mathematical problems in natural language syntax