Journals
Books
Articles by keyword Комбинаторная логика
Review and comparative analysis of methods of constructing terms in combinatory logic

R.V. Dushkin1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 rvdushkin@mephi.ru

Attempt to systematically construct objects to represent basic mathematical concepts in combinatorial logic

R.V. Dushkin¹

¹OOO "A-Ya ekspert" (Moscow, Russia)

²National Research Nuclear University MEPhI (Moscow, Russia) ¹drv@aia.expert