Alexey Romanov

Visible Tags

• .net - 5 uses
• c# - 1 use
• coq - 1 use
• declarative - 1 use
• emacs - 1 use
• erlang - 2 uses
• firefox - 2 uses
• haskell - 3 uses
• java - 2 uses
• logic - 2 uses
• mercurial - 1 use
• microsoft - 2 uses
• programming - 1 use
• scala - 1 use
• sql - 1 use
• svn - 1 use
• windows - 3 uses
• word - 1 use
• ЕГЭ - 1 use
• Логика - 1 use
• МТА - 1 use
• ООП - 2 uses
• зависимые типы - 3 uses
• задачи - 3 uses
• здоровье - 2 uses
• история - 7 uses
• книги - 3 uses
• контроль версий - 1 use
• лингвистика - 8 uses
• литература - 2 uses
• логика - 8 uses
• математика - 8 uses
• модальная логика - 1 use
• образование - 2 uses
• парадоксы - 2 uses
• патенты - 1 use
• переводы - 1 use
• преподавание - 1 use
• программирование - 5 uses
• тв - 1 use
• теорема Гёделя - 2 uses
• теория множеств - 1 use
• теория типов - 1 use
• тест - 1 use
• фантастика - 2 uses
• философия - 7 uses
• фрики - 2 uses
• цитаты - 2 uses
• юмор - 5 uses
• языки - 2 uses