Title: Matematicheskai͡a logika
First published: 1987
Subjects: Symbolic and mathematical Logic, Algorithms
LC classification: MLCS 93/15092 (Q)