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 ...

Allgemein

Marke
Omodeo, Eugenio G.
ISBN
Omodeo, Eugenio G. 3319824430

Eigenschaften

Menü