Your search returned 4 results.

Results
		Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. by Schwichtenberg, Helmut, 1942- [author.] Wainer, S. S [author.] Association for Symbolic Logic [issuing body.] Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012 Other title: Proofs & Computations Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. by Cooper, S. B. (S. Barry) [editor.] Slaman, T. A. (Theodore Allen), 1954- [editor.] Wainer, S. S [editor.] Series: London Mathematical Society lecture note series ; 224. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1996 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer. by Leeds Proof Theory Programme (1990 : Leeds University) Aczel, Peter, 1941- [editor.] Simmons, Harold [editor.] Wainer, S. S [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1993 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer. by Logic Colloquium (1979 : Leeds, Yorkshire) Drake, F. R. (Frank Robert) [editor.] Wainer, S. S [editor.] Series: London Mathematical Society lecture note series ; 45. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1980 Other title: Recursion Theory, its Generalisations & Applications Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.