Skip to content

Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem)

by E. Herrmann

Gödel's theoremLattice theoryRecursion theorySet theory
Writing a summary for young readers…

For young readers

Book data: Open Library