Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 4.

Wyniki
		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 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.
		Indexed categories and their applications / P. T. Johnstone [et al.] ; ed. by P. T. Johnstone and R. Paré. autor Johnstone, P. T, (1948- ) Paré, Robert, (1944- ) [Red.] Serie: Lecture Notes in Mathematics ; 661 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 160789.
		Algebra in a localic topos with applications to ring theory / Francis Borceux, Gilberte van den Bossche. autor Borceux, Francis, (1948- ) Bossche, Gilberte van den, (1942- ) Serie: Lecture Notes in Mathematics ; 1038 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1983 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162389.