Title: Logic of Programs (Lecture Notes in Computer Science)
Subjects: Symbolic and mathematical Logic, Computer programs, Computer programming, Congresses, Programmation (Mathématiques), Datenverarbeitung, Logik, Programmierung, Formale Methode, Programmeurs, Logique symbolique et mathématique, Algoritmer, Kongresser, Matematisk logikk, Programming (Mathematics)