Title: Logiko-matematicheskie osnovy problemy MOZ
Subjects: Machine theory, Formal languages, Symbolic and mathematical Logic