1
by Weber, Matthias, Simons, Martin, Lafontaine, Christine
Published 1993
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Foundations...