Matematičeskaja logika v programmirovanii. : Matematičeskoje obespečenije EVM. Sbornik statej. - Zachar'jačev, M.V. (Moskva : Mir, 1991)
Keywords: logika matematická; programovanie; zborníky; zborníky