Peter Cholak
Peter Cholak
1962
3 ספרים במאגר
ספרים
Computability Theory and Its Applications: Current Trends and Open ProblemsPeter Cholak
Computability Theory and Its Applications: Current Trends and Open Problems
Peter Cholak · 2000
The Notre Dame Lectures (Lecture Notes in Logic) (Lecture Notes in Logic) (Lecture Notes in Logic)Peter Cholak
The Notre Dame Lectures (Lecture Notes in Logic) (Lecture Notes in Logic) (Lecture Notes in Logic)
Peter Cholak · 2005
Automorphisms of the lattice of recursively enumerable setsPeter Cholak
Automorphisms of the lattice of recursively enumerable sets
Peter Cholak · 1995