Catalogo · 9783540481683
Computer Science Logic
ISBN 9783540481683
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Finite model theory
Heinz-Dieter Ebbinghaus, Jörg Flum
Einführung in die mathematische Logik
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Logic and automata
Jörg Flum, Erich Grädel
Parameterized complexity theory
Jörg Flum
Einführung in die mathematische Logik (SAV Mathematik)
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Einführung in die mathematische Logik (SAV Mathematik)
Heinz D. Ebbinghaus, Jörg Flum, Wolfgang Thomas
Topological Model Theory
Jörg Flum, Martin Ziegler
Verba volant · scripta manent