Title: The logic of programming
Subjects: Computer programming, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Ordinateurs, Programmation, Logique symbolique et mathématique, Programmeren (computers), Mathematische Logik, Programmierung, Ordinateurs - Programmation