1
by Bauer, F.L., Wössner, H.
Published 1981
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...