The classical decision problem

Bibliographische Detailangaben

Hauptverfasser:	Börger, Egon (VerfasserIn), Grädel, Erich 1958- (VerfasserIn), Gurevich, Yuri (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Berlin [u.a.] Springer 1997
Schriftenreihe:	Perspectives in mathematical logic
Schlagworte:	Decidability (Mathematical logic) Logik Entscheidungsproblem
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!