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