Issledovanija po konstruktivnoj matematike i matematičeskoj logike VIII

• Corporate Author: Matematičeskij institut im. V.A. Steklova
• Other Authors: Matijasevič, Ju. V. (Editor), Slisenko, A. O. (Editor)
• Format: Book
• Language: Russian
• Published: Leningrad : Nauka, 1979
• Subjects: matematická logika; sborníky
• Physical Description: 251 s.