- "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