Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem)
Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem)
E. Herrmann
Details
OL Work ID
OL4944462W
Subjects
Gödel's theorem
Lattice theory
Recursion theory
Set theory
Find this book
Open Library