Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 9.

Wyniki
		An algebraic approach to non-classical logics / Helena Rasiowa. autor Rasiowa, Helena, (1917-1994) Serie: Studies in Logic and the Foundations of Mathematics ; vol. 78 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Amsterdam ; London : Państwowe Wydawnictwo Naukowe ; North-Holland, 1974 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64922.
		Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin. autor Hailperin, Theodore, (1915- ) Serie: Studies in Logic and the Foundations of Mathematics ; vol. 85 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Amsterdam [etc.] : North-Holland Publishing Company, 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 80403.
		Large infinitary languages : model theory / M. A. Dickmann. autor Dickmann, Max, (1940- ) Serie: Studies in Logic and the Foundations of Mathematics ; vol. 83 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Amsterdam ; Oxford : New York : North-Holland Publishing Company ; American Elsevier, 1975 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 80398.
		Logic in algebraic form : three languages and theories / William Craig. autor Craig, William, (1918-2016) Serie: Studies in Logic and the Foundations of Mathematics ; vol. 72 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Amsterdam [etc.] : North-Holland, 1974 Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 65527.
		Contributions to non-standard analysis / ed. by W. A. J. Luxemburg and A. Robinson. autor Luxemburg, Wilhelmus Anthonius Josephus, (1929- ) [Red.] Robinson, Abraham, (1918-1974) [Red.] Symposium on Non-standard Analysis (1970 ; Oberwolfach) Serie: Studies in Logic and the Foundations of Mathematics ; vol. 69 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Amsterdam ; London : North-Holland Publishing Company, 1972 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 63349. Zamów
		Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski ; [transl. by M. Mączyński]. autor Kuratowski, Kazimierz, (1896-1980) Mostowski, Andrzej, (1913-1975) Mączyński, Maciej, (1937-2022) [Tł.] Serie: Studies in Logic and the Foundations of Mathematics ; vol. 86 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Ogólne; Język: angielski Język oryginału: polski Szczegóły wydania: Warszawa : Amsterdam : PWN - Polish Scientific Publishers ; North-Holland, 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 76449. Zamów
		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.
		Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy ; with the collab. of Dirk van Dalen. autor Fraenkel, Abraham A, (1891-1965) Bar-Hillel, Yehoshua, (1915-1975) Levy, Azriel Dalen, Dirk van, (1932- ) Serie: Studies in Logic and the Foundations of Mathematics ; vol. 67 Wydanie: 2nd rev. ed. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Amsterdam ; London : North-Holland Publishing Company, cop. 1973 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 63348. Zamów
		The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by. J. W. Addison, Leon Henkin, Alfred Tarski. autor International Symposium on the Theory of Models (1963 ; Berkeley) Addison, John West, (1930- ) [Redakcja] Henkin, Leon [Redakcja] Tarski, Alfred, (1901-1983) [Redakcja] North-Holland Publishing Company [Wydawca] Serie: Studies in Logic and the Foundations of Mathematics Wydanie: 3rd printing. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Amsterdam ; London : North-Holland Publishing Company, 1972 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64287.