Published in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; NF,95

Published in: Lecture notes in computer science ; 1234

Published in: Word problems ; 2 - Studies in logic and the foundations of mathematics ; 95

Published in: Matematičeskij Institut Imeni V. A. Steklova: Trudy Matematičeskogo Instituta Imeni V. A. Steklova ; 85

Published in: Matematičeskij Institut Imeni V. A. Steklova: Trudy Matematičeskogo Instituta Imeni V. A. Steklova ; 133

Published in: Studies in logic and the foundations of mathematics ; 95

Published in: Lecture notes in computer science ; 1234