Математическая логика в программировании, Сб. ст., Пер. с англ.
91-5/5660 - 7000 экз.5-03-001635-X/русский (rus)/Математическая логика в программировании : Сб. ст. : Пер. с англ. / Под ред. М.В. Захарьящева, Ю.И. Янова.Математическая логика в программировании : Сб. ст. : Пер. с англ. / Под ред. М.В. Захарьящева, Ю.И. Янова.Математическая логика в программировании : Сб. ст. : Пер. с англ.М./Мир/, 1991 ( ). - Мир, 1991. - 407, [1] с. ; 22 см. - (Математическое обеспечение ЭВМ).Математическая логика в программировании : Сб. ст. : Пер. с англ. М., 1991 .
Библиогр. в конце ст. Библиогр. в конце ст.
Библиогр. в конце ст. Библиогр. в конце ст.