Trefferliste "Unentscheidbarkeit" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Unentscheidbarkeit" finden. Könnten diese Produkte zu Ihrer Suche passen?

Romain Büchi

Über Variablen und Entscheidbarkeit

Variablen gehören zum Grundinventar formaler und halbformaler Sprachen der Logik, Mathematik und Computerwissenschaft. Dieses Buch entwickelt erstmals eine umfassende philosophische Reflexion auf ihren ma…

lieferbar ab 30.9.2026.

Buch

EUR 89,00* Aktueller Preis: EUR 89,00

Artikel merken

In den Warenkorb

Menge ändern

Stefan Müller-Stach

Der Code der Mathematik

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Nebe…

lieferbar ab 9.10.2026.

Buch

EUR 32,99* Aktueller Preis: EUR 32,99

Artikel merken

In den Warenkorb

Menge ändern