S. S. Wainer
4 published titles
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
(Contributor)
1 edition
- ISBN: 052123543X
- Cambridge University Press
- 1980
- Details
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
(Contributor)
1 edition
- ISBN: 052141413X
- Cambridge University Press
- 1992
- Details
Computability, enumerability, unsolvability : directions in recursion theory
(Contributor)
1 edition
- ISBN: 0521557364
- Cambridge University Press
- 1996
- Details
Proof and computations
(Contributor)
1 edition
- ISBN: 9780521517690
- Cambridge University Press
- 2012
- Details
