The classical decision problem

The classical decision problem

Literaturverz. S. [421] - 476

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Börger, Egon (VerfasserIn)
Weitere Verfasser: Grädel, Erich (VerfasserIn), Gurevič, Jurij (VerfasserIn), Gurevich, Yuri (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2001
Ausgabe:2. printing of the 1. ed.
Schriftenreihe:Universitext
Schlagworte:
Lehrbuch > Entscheidungsproblem > Monadenlehre > Automatentheorie > Prädikatenlogik
Online Zugang:Cover
Inhaltsverzeichnis
Inhaltstext
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturverz. S. [421] - 476
Beschreibung:2. printing 2001 of the 1. ed. 1997, which was originally publ. in the series Perspectives im Mathematical Logic
Beschreibung:X, 482 S.
graph. Darst.
ISBN:3540423249
3-540-42324-9
9783540423249
978-3-540-42324-9