Your search returned 5 results.

Results
		The once and future Turing : computing the world / edited by S. Barry Cooper, Andrew Hodges. by Cooper, S. B. (S. Barry) [editor.] Hodges, Andrew [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Other title: The Once & Future Turing Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium 2006 / edited by S. Barry Cooper [and three others]. by Logic Colloquium (2006 : Nijmegen, Netherlands) Cooper, S. B. (S. Barry) [editor.] Series: Lecture notes in logic ; 32. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2009 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Logic Colloquium (1997 : Leeds, England) Cooper, S. B. (S. Barry) [editor.] Truss, J. K [editor.] Association for Symbolic Logic [host institution.] Series: London Mathematical Society lecture note series ; 258. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1999 Other title: Sets & Proofs Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Logic Colloquium (1997 : Leeds, England) Cooper, S. B. (S. Barry) [editor.] Truss, J. K [editor.] Association for Symbolic Logic [host institution.] Series: London Mathematical Society lecture note series ; 259. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1999 Other title: Models & Computability 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)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.