"A Programming Approach to Computability" von M. A. Arbib ist ein grundlegendes Werk, das sich mit den theoretischen Aspekten der Berechenbarkeit in der Informatik beschäftigt. Das Buch untersucht die Konzepte und Prinzipien, die...