Open menu
Peter Cholak
1962
Automorphisms of the lattice of recursively enumerable sets
Computability Theory and Its Applications: Current Trends and Open Problems
The Notre Dame Lectures (Lecture Notes in Logic) (Lecture Notes in Logic) (Lecture Notes in Logic)
The Notre Dame lectures