Computer Programming and Formal Systemsby Lev D. BeklemishevComputer science, mathematicsWriting a summary for young readers…For young readersBook data: Open Library