Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 9.

Wyniki
		Elements of finite model theory / Leonid Libkin. autor Libkin, Leonid Serie: Texts in Theoretical Computer Science Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 2004 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182002.
		An introduction to model theory / Žarko Mijajlovič ; University of Novi Sad , Institute of Mathematics. autor Mijajlovič, Žarko Univerzitet u Novom Sadu. Institut za matematiku [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Novi Sad : University of Novi Sad. Institute of Mathematics, 1987 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 111520.
		Around classification theory of models / Saharon Shelah. autor Shelah, Saharon, (1945- ) Serie: Lecture Notes in Mathematics ; 1182 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1986 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162884.
		Topological model theory / Jörg Flum, Martin Zieger. autor Flum, Jörg Ziegler, Martin Serie: Lecture Notes in Mathematics ; 769 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1980 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162308.
		First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes. autor Makkai, Michael, (1939- ) Reyes, Gonzalo E Serie: Lecture Notes in Mathematics ; 611 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer Verlag, 1977 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162277.
		Model theory and algebra : a memorial tribute to Abraham Robinson / ed. by D. Saracino and V. B. Weispfenning. autor Saracino, Daniel H, (1947- ) [Red.] Weispfenning, Volker, (1944- ) [Red.] Serie: Lecture Notes in Mathematics ; 498 Rodzaj materiału: Tekst; Format: druk publikacja jubileuszowa 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 160398.
		Model theory / C. C. Chang, H. J. Keisler. autor Chang, Chen Chung, (1927-2014) Keisler, H. Jerome North-Holland Publishing Company [] Elsevier (Amsterdam) [] Serie: Studies in Logic and the Foundations of Mathematics ; vol. 73 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Amsterdam ; London : New York : North-Holland Publishing Company ; American Elsevier Publishing Company, cop. 1973 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 83379.
		Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler. autor Hirschfeld, Joram Wheeler, William H, (1946- ) Serie: Lecture Notes in Mathematics ; 454 Rodzaj materiału: Tekst; Format: druk Język: angielski Szczegóły wydania: Berlin : Springer, 1975 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160415.
		Model theory and topoi : a collection of lectures by various authors / edited by F.W. Lawvere, C. Maurer and G.C. Wraith. autor Lawvere, Francis William, (1937-2023) [Red.] Maurer, Christian, (1945- ) [Red.] Wraith, Gavin C, (1939- ) [Red.] Serie: Lecture Notes in Mathematics ; 445 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160505.