Logic and automata
Logic and automata
Jörg Flum
,
Erich Grädel
Details
OL Work ID
OL18553383W
Subjects
Machine theory
Mathematics
Computational complexity
Symbolic and mathematical Logic
Computer science
Science: general issues
Logic, symbolic and mathematical
Find this book
Open Library