Your search returned 14 results.

Results
	1.		An introduction to general theory of algorithms / Michael Machtey and Paul Young by Machtey, Michael Young, Paul, 1936- Series: Theory of computation series Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : North-Holland, 1978, repr. 1979 Availability: Items available for loan: Main Library - IDA (1)Call number: 511.8 MACH. Place hold Save to lists Add to cart (remove)
	2.	Image from Amazon.com	Computability and logic / George S. Boolos, Richards C. Jeffrey. by Boolos, George S Jeffrey, Richard C Edition: 3rd. ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1989 repr. 1999 Availability: Items available for loan: Main Library - IDA (1)Call number: 511.3 BOO. Place hold Save to lists Add to cart (remove)
	3.		Recursive analysis / Reuben Louis Goodstein by Goodstein, Reuben Louis Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam: North Holland Pub. , 1961 Availability: Items available for loan: Main Library - Open Shelves (1). Place hold Save to lists Add to cart (remove)
	4.		Recursive analysis / Reuben Louis Goodstein by Goodstein, Reuben Louis Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam: North Holland Pub. , 1961 Availability: No items available. Save to lists Add to cart (remove)
	5.		Rekursive Funktionen / R. Peter. by Pâeter, Râozsa, 1905- Edition: 2., erweiterte Ausg. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Akademie-Verlag, 1957 Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 512.817 PET. Place hold Save to lists Add to cart (remove)
	6.		Enumerability, decidability, computability: an introduction to th e theory of recursive functions / by Hans Hermes; translated by G.T Herman and O. Plassmann. by Hermes, Hans Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellu ngen ; Bd. 127. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin; New York: Springer-Verlag, 1965 Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 512.817 HER. Place hold Save to lists Add to cart (remove)
	7.		The calculi of lambda-conversion / by Alonzo Church. by Church, Alonzo, 1903- Series: Annals of mathematics studies ; no. 6 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton : London : Princeton University press ; H. Milfor d, Oxford University press , 1941 Availability: Items available for loan: College of Natural Sciences Library- CONAS (1)Call number: P 517.5 C 48. Main Library - Open Shelves (1)Call number: 517.5 CHU. Place hold Save to lists Add to cart (remove)
	8.		Rekursive Funktionen / R. Peter. by Pâeter, Râozsa, 1905- Edition: 2., erweiterte Ausg. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Akademie-Verlag, 1957 Availability: No items available. Save to lists Add to cart (remove)
	9.		Enumerability, decidability, computability: an introduction to th e theory of recursive functions / by Hans Hermes; translated by G.T Herman and O. Plassmann. by Hermes, Hans Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellu ngen ; Bd. 127. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin; New York: Springer-Verlag, 1965 Availability: No items available. Save to lists Add to cart (remove)
	10.		The calculi of lambda-conversion / by Alonzo Church. by Church, Alonzo, 1903- Series: Annals of mathematics studies ; no. 6 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton : London : Princeton University press ; H. Milfor d, Oxford University press , 1941 Availability: No items available. Save to lists Add to cart (remove)
	11.		Algorithms and recursive functions/ [by] A. I. Mal'cev. Translate d from the first Russian ed. by Leo F. Boron, with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iseki. by Mal' Cev, A. I. (Anatolii Ivanovich), 1909-1967 Series: [Wolters-Noordhoff series of monographs and textbooks on pure and ap plied mathematics] Material type: Text Publication details: Groningen : Wolters-Noordhoff Pub. Co., [1970] Availability: Items available for loan: College of Natural Sciences Library- CONAS (1)Call number: 518.1 MAL. Place hold Save to lists Add to cart (remove)
	12.	Image from Amazon.com	Computability and logic/ George George, John P. Burgess and Jeffr ey Richard by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1974 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 511.352 BOO. Place hold Save to lists Add to cart (remove)
	13.	Image from Amazon.com	Computability and logic/ George George, John P. Burgess and Jeffr ey Richard by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1974 Availability: No items available. Save to lists Add to cart (remove)
	14.	Image from Amazon.com	Computability and logic/ George George, John P. Burgess and Jeffr ey Richard by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1974 Availability: No items available. Save to lists Add to cart (remove)