Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results for author "Wainer, S. S."
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer.
- Text
- Cambridge ; New York, NY : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1535 Offsite Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 99-723 Offsite Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons and Stanley S. Wainer.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA9.54 .P76 1993g Off-site Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer.
- Text
- Cambridge, [Cambridgeshire] ; New York : Cambridge University Press, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA9.A1 L63 1979 Off-site Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
- Text
- New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA9.6 .C66 1996 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
