Search

Your search returned 5 results.

Results
		Computability / Klaus Weihrauch. by Weihrauch, Klaus, 1943-. Series: EATCS monographs on theoretical computer science ; Vol. 9Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1987Availability: Items available for loan: 1 Call number: Gulb/6881. Place hold Add to cart (remove)
		Computations in higher types / Johan Moldestad. by Moldestad, Johan, 1946-. Series: Lecture notes in mathematics (Springer-Verlag) ; 574.Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1977Availability: Items available for loan: 1 Call number: Gulb/5170. Place hold Add to cart (remove)
		An introduction to the general theory of algorithms / Michael Machtey, Paul Young. by Machtey, Michael \| Young, Paul, 1936-. Series: Theory of computation seriesMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : North-Holland, 1978Availability: Items available for loan: 1 Call number: Gulb/5204. Place hold Add to cart (remove)
		Recursively enumerable sets and degrees : A study of computable functions and computably generated sets / Robert I. Soare. by Soare, Robert Irving, 1940-. Series: Perspectives in mathematical logicMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1987Availability: Items available for loan: 1 Call number: Gulb/7201. Place hold Add to cart (remove)
		Set theory and hierarchy theory : A memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [Proceedings] / Ed. by W. Marek, M. Srebrny, A. Zarach. by Conference on Set Theory and Hierarchy Theory (2nd : 1975 : Bierutowice, Poland) \| Marek, Wiktor [edt] \| Srebrny, Marian, 1947- [edt] \| Zarach, Andrzej, 1948- [edt]. Series: Lecture notes in mathematics (Springer-Verlag) ; 537.Material type: Text festschrift ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1976Availability: Items available for loan: 1 Call number: Gulb/4197. Place hold Add to cart (remove)

ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License