Matematicheskai͡a logika v programmirovanii
Subtitle: sbornik stateĭ
By: pod redakt͡sieĭ M.V. Zakharʹi͡ashcheva i I͡U.I. I͡Anova ; perevod s angliĭskogo
Series: Matematicheskoe obespechenie ĖBM; Matematicheskoe obespechenie ĖBM
Publisher: Mir
Published: 1991
Place of publication: Moskva
Language: rus
Number of pages: 407
ISBN-13: 9785030016351
Subjects: Symbolic and mathematical Logic; Computer programming
Notes: Includes bibliographies.

Translations from the series "Lecture notes in Computer Science", Springer-Verlag, and other sources.