|
VIDEO LIBRARY |
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
|
|||
|
Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables M. N. Rybakov |
|||
|