1
by Xu, Yang, Qin, Keyun, Ruan, Da, Liu, Jun
Published 2003
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Foundations...

2
by Pahl, Peter Jan, Damrath, Rudolf
Published 2000
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Foundations...