Κύριος συγγραφέας:	Ershov, Yu L.
Άλλοι συγγραφείς:	Palyutin, E. A., Shokurov, Vladimir
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Moscow : MIR Publishers, c1984
Θέματα:	Logic, Symbolic and mathematical