Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, Band 10)
Ein tiefgehendes Werk über die Grenzen der Berechenbarkeit, logische Strukturen und mathematische Grundlagen, das komplexe Beweise klar präsentiert ...