Pentus, Mati Reĭnovich 1967-
Pentus, Mati, 1967-
Pentus, Mati Rejnovič (1967- ).
Пентус, Мати Рейнович российский математик, специалист в области математической логики и исчисления Ламбека
Pentus, Mati
Pentus, Mati Rejnovič (Mati Reǐnovich), 1967-
Pentus, Mati Rejnovič
VIAF ID: 48555390 ( Personal )
Permalink: http://viaf.org/viaf/48555390
Preferred Forms
-
-
- 100 1 _ ‡a Pentus, Mati Reĭnovich, ‡d 1967-
-
-
-
-
- 100 1 _ ‡a Pentus, Mati Reĭnovich ‡d 1967-
- 100 1 _ ‡a Pentus, Mati ‡d 1967-
-
- 100 1 _ ‡a Пентус, Мати Рейнович ‡c российский математик, специалист в области математической логики и исчисления Ламбека
4xx's: Alternate Name Forms (15)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
The conjoinability relation in Lambek calculus and linear logic | |
Provability, complexity, grammars, 1999: | |
Секвенциальные системы модальных исчислений |