Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 5.

Wyniki
		Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks. autor Sacks, Gerald E, (1933- ) [Red.] Ebbinghaus, Heinz-Dieter, (1939- ) [Red.] Müller, Gert Heinz, (1923-2006) [Red.] Serie: Lecture Notes in Mathematics ; 1141 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1985 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162424.
		Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / ed. by G. H. Müller and D. S. Scott. autor Müller, Gert Heinz, (1923-2006) [Red.] Scott, Dana S, (1932- ) [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Mathematics ; 669 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1978 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160644.
		Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / ed. by G. H. Müller, G. Takeuti and T. Tugué. autor Müller, Gert Heinz, (1923-2006) [Red.] Takeuti, Gaisi, (1926- ) [Red.] Tugué, Tosiyuki, (1926- ) [Red.] Serie: Lecture Notes in Mathematics ; 891 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 99217.
		Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G. H. Müller, G. E. Sacks (eds.). autor Ambos-Spies, Klaus [Red.] Müller, Gert Heinz, (1923-2006) [Red.] Sacks, Gerald E, (1933- ) [Red.] Serie: Lecture Notes in Mathematics ; 1432 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 1990 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 163110.
		ISILC logic conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / ed. by G. H. Müller, A. Oberschelp, K. Potthoff. autor International Summer Institute and Logic Colloquium (1974 ; Kilonia) Müller, Gert Heinz, (1923-2006) [Red.] Oberschelp, Arnold [Red.] Potthoff, Karl [Red.] Serie: Lecture Notes in Mathematics ; 499 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 73912.