Büchi, Romain. Über Variablen und Entscheidbarkeit - Philosophische Betrachtungen über den Gebrauch von Buchstaben als Variablen, die Entscheidbarkeit von Prädikaten und den Zusammenhang zwischen Unentscheidbarkeit und Buchstabengebrauch in logischen Formalsprachen. Karl Alber i.d. Nomos Vlg, 2026.

Romain Büchi

Über Variablen und Entscheidbarkeit

Philosophische Betrachtungen über den Gebrauch von Buchstaben als Variablen, die Entscheidbarkeit von Prädikaten und den Zusammenhang zwischen Unentscheidbarkeit und Buchstabengebrauch in logischen Formalsprachen
  • Karl Alber i.d. Nomos Vlg
  • 2026
  • Taschenbuch
  • 300 Seiten
  • ISBN 9783495987063

Am 30.09.2026