Wyniki wyszukiwania: 3.

Sortuj
Wyniki
Techniques of admissible recursion theory / C.T. Chong. autor Serie: Lecture Notes in Mathematics ; 1106
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1984
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162439.
Recursion on the countable functionals / Dag Normann. autor Serie: Lecture Notes in Mathematics ; 811
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1980
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162289.
Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977 - 79 / ed. by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis. autor Serie: Lecture Notes in Mathematics ; 839
Rodzaj materiału: Tekst Tekst; Format: druk
Szczegóły wydania: Berlin : Springer, 1981
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 95508.