Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem)
By: E. Herrmann.
Series: Seminarberichte - Humboldt-Universität zu Berlin, Sektion Mathematik ; Nr. 10; Seminarberichte (Humboldt-Universität zu Berlin. Sektion Mathematik) ;; Seminarbericht Nr. 10.
Publisher: Sektion Mathematik der Humboldt-Universität zu Berlin
Published: 1978
Place of publication: Berlin
Language: ger
Number of pages: 304
Subjects: Gödel's theorem.; Recursion theory.; Set theory.; Lattice theory.
Notes: Bibliography: p. [301]-304.
Summary also in English and Russian.
Includes index.