Title: Logicheskie osnovy t︠s︡ifrovykh mashin i programmirovanii︠a︡
Subjects: Computers, Symbolic and mathematical Logic, Computer programming