Title: Matematicheskai͡a logika v programmirovanii
Subjects: Symbolic and mathematical Logic, Computer programming