1
by Erk, Katrin, Priese, Lutz
Published 2000
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...