Title: Mathematical foundations of programming
Subjects: Machine theory, Symbolic and mathematical Logic, Textbooks, Formal languages, Electronic digital computers, Mathematics textbooks, Nd index