> Detailanzeige

Börger, Egon [VerfasserIn]; Grädel, Erich [VerfasserIn]; Gurevič, Jurij [VerfasserIn] ; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

The classical decision problem - [2. printing of the 1. ed.]

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Beteiligte: Börger, Egon [VerfasserIn]; Grädel, Erich [VerfasserIn]; Gurevič, Jurij [VerfasserIn]; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]
Erschienen: Berlin [u.a.]: Springer, 2001
Erschienen in: Universitext
Ausgabe: 2. printing of the 1. ed.
Umfang: X, 482 S.; graph. Darst
Sprache: Englisch
ISBN: 3540423249; 9783540423249
RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik,
Schlagwörter: Entscheidungsproblem
Monadenlehre > Automatentheorie > Entscheidungsproblem > Prädikatenlogik
Entstehung:
Anmerkungen: 2. printing 2001 of the 1. ed. 1997, which was originally publ. in the series Perspectives im Mathematical Logic