Normal view
MARC view
Wainer, S. S. (Personal Name)
Logic Colloquium (1979 : Leeds, West Yorkshire). Recursion theory, 1980 (a.e.) t.p. (S. S. Wainer, Dept. of Pure Math., Leeds)
Proof theory, 1992: t.p. (Stanley S. Wainer; University of Leeds)