Ukryj filtry
Sortowanie
Źródło opisu
Katalog centralny
(56)
Forma i typ
Książki
(56)
Publikacje naukowe
(1)
Publikacje popularnonaukowe
(1)
Dostępność
dostępne
(56)
wypożyczone
(3)
Placówka
Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)
(4)
Czytelnia Główna - wypożyczalnia (Sokoła 13)
(49)
Filia 3 (Krzyżanowskiego 6)
(1)
Filia 4 (Ofiar Katynia 15)
(1)
Filia 6 (Podwisłocze 6)
(4)
Autor
Borkowski Ludwik (1914-1993)
(2)
Dudziak Urszula (matematyka)
(2)
Hałkowska Katarzyna
(2)
Hodges Andrew (1949- )
(2)
Marek Wiktor
(2)
Pokaż więcej ...
Nowotniak Justyna
(2)
Piróg-Rzepecka Krystyna
(2)
Pogorzelski Witold A
(2)
Rasiowa Helena (1917-1994)
(2)
Stępień Antoni B
(2)
Słupecki Jerzy
(2)
Słupecki Jerzy (1904-1987)
(2)
Wiktorowicz Krzysztof (logika)
(2)
Woleński Jan (1940- )
(2)
Łukasiewicz Jan Leopold (1878-1956)
(2)
Augustynek Zdzisław (1925-2001)
(1)
Banasiński Antoni (1908-1993)
(1)
Baszniak Tadeusz
(1)
Bizám György
(1)
Bocheński Józef Maria (1902-1995)
(1)
Brentano Franz (1765-1844)
(1)
Buszkowski Wojciech (1950- )
(1)
Chmielewski Adam (1959- )
(1)
Drewniak Józef
(1)
Flowers Charles (1942- )
(1)
Frege Gottlob (1848-1925)
(1)
Grata Paweł (1971- )
(1)
Grzegorczyk Andrzej (1922-2014)
(1)
Herczeg János (1934- )
(1)
Hołówka Jacek
(1)
Jasińska Jolanta Ewa
(1)
Johnson Christopher (1958- )
(1)
Juhasz-Dąbrowska Emma
(1)
Kacprzyk Janusz (1947- )
(1)
Kaźmierkowski Marian Piotr (1943- )
(1)
Kisielewicz Andrzej (informatyka)
(1)
Koj Leon (1929- )
(1)
Korolec Jerzy Bartłomiej (1933-2000)
(1)
Krajczyk Aleksandra
(1)
Kraszewski Zdzisław
(1)
Krempa Jan
(1)
Król Anna (matematyk)
(1)
Lyndon Roger C. (1917- )
(1)
Marciszewski Witold (1930- )
(1)
Mażbic-Kulma Barbara
(1)
Nekrašas Evaldas (1945- )
(1)
Newsom Carroll Vincent (1904- )
(1)
Nowakowska Maria
(1)
Olszewski Adam (1958- )
(1)
Omyła Mieczysław
(1)
Onyszkiewicz Janusz (1937- )
(1)
Parys Jan (1950- )
(1)
Pasenkiewicz Kazimierz (1897-1995)
(1)
Piszczała Janusz
(1)
Piszczała Maria
(1)
Pogorzelski Witold Adam|d(1927- )
(1)
Porębska Małgorzata
(1)
Przełęcki Marian
(1)
Quine Willard Van Orman
(1)
Rotter Krzysztof
(1)
Rudak Leszek
(1)
Rutkowski Aleksander
(1)
Semeniuk-Polkowska Maria
(1)
Seweryńska Urszula
(1)
Seweryński Mariusz
(1)
Siegfried H[ans] J[oachim]
(1)
Simbierowicz Zygmunt (1935- )
(1)
Skolimowski Janusz
(1)
Srejder J.A
(1)
Stanosz Barbara (1935-2014)
(1)
Stewart Ian (1945- )
(1)
Suchoń Wojciech
(1)
Tall David (1941- )
(1)
Thiel Christian
(1)
Wojciechowska Agnieszka
(1)
Wojcieszyn Barbara
(1)
Wolniewicz Bogusław (1927-2017)
(1)
Wójciak A
(1)
Âblonskij Sergej Vsevolodovič
(1)
Ładosz Jarosław (1924-1998)
(1)
Pokaż mniej ...
Rok wydania
2020 - 2024
(1)
2010 - 2019
(8)
2000 - 2009
(2)
1990 - 1999
(11)
1980 - 1989
(8)
Pokaż więcej ...
1970 - 1979
(21)
1960 - 1969
(4)
1950 - 1959
(1)
Pokaż mniej ...
Okres powstania dzieła
2001-
(2)
Kraj wydania
Polska
(56)
Język
polski
(54)
Temat
Logika matematyczna
(56)
Teoria mnogości
(13)
Matematyka
(10)
Filozofia
(7)
Logika
(7)
Pokaż więcej ...
Językoznawstwo matematyczne
(6)
Algebra
(3)
Metamatematyka
(3)
Turing, Alan Mathison (1912-1954)
(3)
Algebry Boole'a
(2)
Aristoteles (384-322 a.C.)
(2)
Funkcje
(2)
Grafy
(2)
Gödel, Kurt (1906-1978)
(2)
Indukcja
(2)
Kombinatoryka
(2)
Liczby
(2)
Matematycy
(2)
Nauka
(2)
Ontologia
(2)
Rachunek prawdopodobieństwa
(2)
Semantyka
(2)
Semantyka logiczna
(2)
Sztuczna inteligencja
(2)
Teoria poznania
(2)
Turing, Allan (1912-1954)
(2)
Adaptacja kulturowa
(1)
Ajdukiewicz, Kazimierz (1890-1963)
(1)
Algebra liniowa
(1)
Analiza matematyczna
(1)
Analiza systemowa
(1)
Analogia
(1)
Aprioryzm
(1)
Artyleria
(1)
Arystoteles (384-322 a.C.)
(1)
Astronomia
(1)
Automaty
(1)
Autorytet
(1)
Badania porównawcze
(1)
Bocheński, Innocenty Maria (1902-1995)
(1)
Bohr, Niels Henrik David (1885-1962)
(1)
Church, Alonzo (1903-1995)
(1)
Crick, Francis (1916-2004)
(1)
Cybernetyka matematyczna
(1)
Czas
(1)
DNA (chemia)
(1)
Dedekind, Richard (1831-1916)
(1)
Definicja
(1)
Dembiński, Henryk (1791-1864)
(1)
Derrida, Jacques (1930- )
(1)
Dominikanie
(1)
Dowód
(1)
Drogi
(1)
Działacze polonijni
(1)
Einstein, Albert (1879-1955)
(1)
Ekonomiści
(1)
Emigranci
(1)
Ewolucja
(1)
Fermat, Pierre de (1601-1665)
(1)
Filozofia analityczna
(1)
Fizyka
(1)
Frege, Gottlob (1848-1925)
(1)
Freud, Sigmund (1856-1939)
(1)
Genetyka
(1)
Genom
(1)
Gospodarka
(1)
Gramatyka
(1)
Grassmann, Hermann (1809-1877)
(1)
Gry i zabawy umysłowe
(1)
Hilbert, David (1862-1943)
(1)
Hipoteza Churcha-Turinga
(1)
Hubble, Edwin P. (1889-1953)
(1)
II wojna światowa (1939-1945)
(1)
Informatycy
(1)
Integracja europejska
(1)
Inżynierowie
(1)
Inżynierowie budownictwa
(1)
Język
(1)
Kac, Mark (1914-1984)
(1)
Kant, Immanuel (1724-1804)
(1)
Kariera
(1)
Kawaleria
(1)
Kleene, Stephen Cole (1909-1994)
(1)
Kobieta
(1)
Kolej Transsyberyjska (trasa)
(1)
Komputery
(1)
Kosmologia
(1)
Kreisel, Georg (1923- )
(1)
Lambek, Joachim
(1)
Liczby zespolone
(1)
Logika wielowartościowa
(1)
Lotnictwo wojskowe
(1)
Lwowska szkoła matematyczna
(1)
Mechanika kwantowa
(1)
Mendel, Johann Gregor (1822-1884)
(1)
Metodologia
(1)
Modernizacja
(1)
Mosty
(1)
Nauczyciele akademiccy
(1)
Nauki empiryczne
(1)
Pokaż mniej ...
Temat: czas
2001-
(2)
1801-1900
(1)
1901-
(1)
1901-2000
(1)
Temat: miejsce
Egipt
(1)
Europa
(1)
Francja
(1)
Izrael
(1)
Kanada
(1)
Pokaż więcej ...
Królestwo Polskie (1815-1915)
(1)
Nancy (Francja)
(1)
Niemcy
(1)
Polska
(1)
Prusy
(1)
Rosja
(1)
Stany Zjednoczone (USA)
(1)
Syberia (Rosja)
(1)
Wielka Brytania
(1)
Świat
(1)
Pokaż mniej ...
Gatunek
Podręczniki akademickie
(6)
Materiały pomocnicze dla szkół wyższych
(2)
Biografia
(1)
Podręcznik akademicki
(1)
Praca zbiorowa
(1)
Pokaż więcej ...
Wydawnictwa popularne
(1)
Pokaż mniej ...
Dziedzina i ujęcie
Matematyka
(2)
Gospodarka, ekonomia, finanse
(1)
Historia
(1)
Inżynieria i technika
(1)
Polityka, politologia, administracja publiczna
(1)
Pokaż więcej ...
Socjologia i społeczeństwo
(1)
Pokaż mniej ...
56 wyników Filtruj
Książka
W koszyku
Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski. - Wyd. 2 popr. - Warszawa : Państwowe Wydaw. Naukowe, 1977. - 393, [3] s. ; 24 cm.
Indeksy
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-49420 (1 egz.)
Brak okładki
Książka
W koszyku
O logice matematycznej / Roger C. Lyndon ; [tł.] Wiktor Marek. - Wyd. 2. - Warszawa : Państwowe Wydaw. Naukowe, 1978. - 111 s. ; 17 cm.
(Małe Monografie PWN Matematyka)
Indeksy
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-50002 (1 egz.)
Książka
W koszyku
Elementy logiki matematycznej / Jan Łukasiewicz ; [oprac. Jerzy Słupecki] ; Polska Akademia Nauk. Instytut Filozofii i Socjologii - Zakład Logiki. - Wyd. 2. - Warszawa : Państwowe Wydawnictwo Naukowe, 1958. - 98, [1] s. ; 25 cm.
Bibliogr. s. [97]-98.
WSTĘP: Kierunki logiki matematycznej. Logika matematyczna a logika filozoficzna ; Twierdzenia a reguły wnioskowania. Logika zdań a logika nazw ; RACHUNEK ZADAŃ: Wyrazy pierwotne i aksjomaty rachunku zdań ; Definicje i reguły wnioskowania zdań ; Twierdzenia rachunku zdań ; Z METODOLOGII RACHUNKU ZDAŃ: Niesprzeczność i niezależność aksjomatów rachunku zdań. O logice wielowartościowej ; Zupełność rachunku zdań ; RACHUNEK ZDAŃ Z KWANTYFIKATORAMI: Kwantyfikatory. Reguły wnioskowania. Tezy ; TEORIA SYLOGIZMU ARYSTOTELESA: Aksjomaty, definicje, reguły wnioskowania ; Tezy sylogistyki Arystotelesa.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-7108 (1 egz.)
Książka
W koszyku
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / red. Witold Marciszewski. - Warszawa : Państwowe Wydaw. Naukowe, 1987. - 472 s. : rys. ; 25 cm.
Indeksy
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-65057 (1 egz.)
Książka
W koszyku
Klasyczny rachunek kwantyfikatorów : zarys teorii / Witold A. Pogorzelski. - Warszawa : Państwowe Wydaw. Naukowe, 1981. - 227, [1] s. ; 24 cm.
Indeksy
Spis treści także ang. i ros.
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-56574 (1 egz.)
Książka
W koszyku
Elementy logiki matematycznej / Aleksander Rutkowski. - Warszawa : Wydawnictwa Szkolne i Pedagogiczne, 1978. - 199, [1] s. ; 22cm.
(Biblioteczka Matematyczna ; 35)
Bibliogr. s. 192. Indeksy.
I. POJĘCIA WSTĘPNE : Oznaczenia ; Relacje i funkcje ; Zbiory nieskończone. Równoliczność ; Przeliczalność ; Suma rodziny zbiorów ; Przecięcie rodziny zbiorów ; II. RACHUNEK ZDAŃ : Intuicyjne pojęcie zdania ; Wartości logiczne ; Pojęcie tautologii ; Przegląd ważniejszych tautologii ; Język rachunku zdań ; Tautologie ; Aksjomatyczne ujęcie rachunku zdań ; Gdzie poszukiwać aksjomatów? ; Wybór zbioru aksjomatów ; Twierdzenie o dedukcji ; Niesprzeczność ; Zupełność ; Twierdzenie o pełności ; Jeszcze o pojęciu prawdziwości formuł ; III. TEORIE PIERWSZEGO RZĘDU : Intuicyjne pojęcie teorii pierwszego rzędu ; Intuicyjne pojęcie kwantyfikatora ; Najogólniejsze prawa dotyczące kwantyfikatorów ; Język teorii pierwszego rzędu ; Operacja konsekwencji ; Aksjomaty logiczne ; Aksjomaty równości ; Teorie pierwszego rzędu ; Teoria grup ; Arytmetyka Peano ; Antynomia Peano ; Antynomia Russella i teoria mnogości Zermelo-Fraenkla ; Niesprzeczność, zupełność ; Definiowalność ; Teorie drugiego rzędu ; IV. TEORIA MODELI : Intuicyjne pojęcie spełnienia ; Interpretacja języka ; Spełnianie ; Model ; Twierdzenie o pełności ; Spełnianie aksjomatów logicznych ; Spełnianie aksjomatów równości ; Modele teorii grup ; Standardowe i niestandardowe modele arytmetyki Peano ; Izomorfizm ; Zupełność teorii mniejszości ; Interpretacje języka teorii mnogości ; Aksjomat wyboru. Niezupełność teorii mnogości Zermelo-Fraenkla ; O nieudowadnialności niesprzeczności ; V. ZAGADNIENIA ROZSTRZYGALNOŚCI TEORII. TWIERDZENIE GÖDLA : Intuicyjne pojęcie rozstrzygalności ; Arytmetyzacja ; Funkcje i relacje obliczalne w skończonej ilości kroków ; Własności funkcji i relacji rekurencyjnych ; Rekurencyjność funkcji i relacji związanych z językiem i operacją konsekwencji ; Reprezentowalność relacji rekurencyjnych w arytmetyce Peano ; Nierozstrzygalność arytmetyki ; Zagadnienie aksjomatyzowalności teorii pierwszego rzędu.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-51406 (1 egz.)
Książka
W koszyku
Wielowartościowe rachunki zdań a rozwój logiki / Jarosław Ładosz. - Warszawa : "Książka i Wiedza", 1961. - 395, [1] s. ; 24 cm.
Bibliogr. s. [381]-389. Indeks.
Część pierwsza - POWSTANIE I ROZWÓJ LOGIK WIELOWARTOŚCIOWYCH: I. Klasyczny rachunek zdań i trudności matematycznego ujęcia logiki ; II. Logika wielowartościowa Łukasiewicza. Jej aparatura symboliczna i filozoficzna interpretacja ; III. Inne systemy logik wielowartościowych ; Część druga - CZY DOTYCHCZASOWĄ LOGIKĘ FORMALNĄ TRZEBA ZASTĄPIĆ LOGIKĄ WIELOWARTOŚCIOWĄ ?: IV. Kategorie modalne a zasada dwuwartościowości ; V. Proces osiągania prawdy a zasada dwuwartościowości ; Część trzecia - RZECZYWISTE ZASTOSOWANIA RACHUNKÓW WIELOWARTOŚCIOWYCH: VI. Stosunek wielowartościowych rachunków zadań do algebry ; VII. Rachunki wielowartościowe a stosunek logiki do matematyki.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-7080 (1 egz.)
Brak okładki
Książka
W koszyku
Logika ogólna / Kazimierz Pasenkiewicz. - Warszawa : Państwowe Wydawnictwo Naukowe, 1968. - 373, [2] s. : rys., err. ; 25 cm.
WSTĘP: Co to jest logika ; Stosunek logiki do pozostałych nauk ; Geneza i rozwój logiki ; Co powinny dać studia logiczna ; ELEMENTY TEORII WYRAŻEŃ POZNAWCZYCH: I. Wiadomości ogólne ; II. Ogólne własności wyrażeń języków naturalnych ; III. Wyrażenia nazwowe i wskaźnikowe ; IV. Zdania ; V. Języki naturalne i sztuczne języki symboliczne ; VI. Poprawne wyrażenie i przekazywanie myśli ; LOGIKA FORMALNA: VII. Uwagi wstępne dotyczące logiki formalnej ; VIII. Teorie i rachunki zdaniowe ; IX. Elementy rachunku kwantyfikatorów (predykatów) ; X. Tradycyjna logika formalna ; XI. Elementy teorii i rachunku zbiorów ; XII. Elementy teorii relacji dwuczłonowych ; XIII. Niektóre szczególnie ważne relacje ; XIV. Antynomie logiki ; XV. Ogólna charakterystyka systemu dedukcyjnego ; XVI. Nieklasyczne teorie logiczne ; TEORIA CZYNNOŚCI WIEDZOTWÓRCZYCH: XVII. Uwagi wstępne ; Wstępne czynności wiedzotwórcze: XVIII. Podział logiczny i klasyfikacja ; XIX. Porządkowanie i szeregowanie ; XX. Definiowanie ; Właściwe procesy wiedzotwórcze: XXI. Podstawowe czynności poznawcze ; XXII. Rozumowania ; XXIII. Wnioskowania ; XXIV. Wyróżnianie i konstruowanie zdań ; XXV. Dwuogniowe rozumowania złożone ; XXVI. Rozumowania złożone wieloogniowe.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-7297 (1 egz.)
Książka
W koszyku
Istota matematyki : pojęcie teorii matematycznej / Carrol V. Newsom ; [tł. Barbara Stanosz]. - Warszawa : Państwowe Wydawnictwo Naukowe, 1967. - 142, [2] s. : rys. ; 18 cm.
(Omega : współczesna biblioteka naukowa ; 71)
Tyt. oryg.: "Mathematical discourses : the heart of mathematical science".
Indeks.
1. Najwcześniejsze pojęcia matematyczne ; 2. Powstanie pojęcia teorii matematycznej — dorobek starożytnych Greków ; 3. Udoskonalenie pojęcia teorii matematycznej — dorobek czasów nowożytnych ; 4. Typowe teorie matematyczne ; 5. Rola teorii matematycznych w rozwiązywaniu zadań myślowych.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-11483 (1 egz.)
Brak okładki
Książka
W koszyku
Klasyczny rachunek zdań : zarys teorii / Witold A. Pogorzelski. - Wyd. 3. - Warszawa : Państwowe Wydaw. Naukowe, 1975. - 225, [2] s. ; 24 cm.
Indeksy
Streszcz. ang.
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-40698 (1 egz.)
Książka
W koszyku
Elementy logiki formalnej / Ludwik Borkowski. - Wyd. 2. - Warszawa : Państwowe Wydaw. Naukowe, 1974. - 153, [2] s. : rys. ; 24 cm.
Indeksy
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-87440 (1 egz.)
Brak okładki
Książka
W koszyku
Zarys logiki niefregowskiej / Mieczysław Omyła. - Warszawa : Państwowe Wydaw. Naukowe, 1986. - 169, [2] s. ; 19 cm.
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-64336 (1 egz.)
Książka
W koszyku
O dowodzie matematycznym / Witold A. Pogorzelski, Jerzy Stupecki. - Warszawa : Państwowe Zakłady Wydawnictw Szkolnych, 1962. - 127, [1] s. : rys. ; 22 cm.
(Biblioteczka Matematyczna PZWS i Czasopisma "Matematyka" ; 11)
I. WIADOMOŚCI WSTĘPNE : 1. Niektóre pojęcia i twierdzenia teorii mnogości ; 2. Rachunek zdań ; 3. Rachunek kwantyfikatorów ; 4. Identyczność ; II. Dowód i jego własności : 1. O metodzie aksjomatycznej ; 2. Pojęcie dowodu ; 3. Podstawowe własności dowodu ; III. SYSTEMY MATEMATYCZNE I ICH ZASADNICZE WŁASNOŚCI : 1. Pojęcie systemu ; 2. Zbiory aksjomatyzowane ; 3. Systemy niesprzeczne ; 4. Zbiory zupełne ; 5. Zbiory niezależne ; O pojęciu interpretacji.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-16527 (1 egz.)
Brak okładki
Książka
W koszyku
Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń. - [Wyd. 2]. - Kraków : Universitas, cop. 1999. - 282 s. ; 24 cm.
Indeks
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-80220 (1 egz.)
Brak okładki
Książka
W koszyku
Równość, podobieństwo, porządek / J.A. Srejder ; spolsz. J.A. Szrejder ; z ros. przeł. Maria Semeniuk-Polkowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1975. - 219, [1] s. : rys., wykr. ; 21 cm.
Indeksy
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-42608 (1 egz.)
Brak okładki
Książka
W koszyku
Próby gramatyki filozoficznej : antologia / Franz Brentano, Gottlob Frege, Christian Thiel ; tł. i oprac. Krzysztof Rotter. - Wrocław : Wydaw. Uniwersytetu Wrocławskiego, 1997. - 151 s. ; 21 cm.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-77937 (1 egz.)
Książka
W koszyku
Przeszłość, teraźniejszość, przyszłość : studium filozoficzne / Zdzisław Augustynek. - Warszawa : Państwowe Wydaw. Naukowe, 1979. - 207, [1] s ; 20 cm.
Streszcz. ang., ros.
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-53259 (1 egz.)
Książka
W koszyku
Wstęp do logiki i teorii mnogości / Urszula Dudziak, Józef Drewniak. - Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego, 2012. - 158 s. : il. ; 24 cm.
Bibliogr. s. [157]-158. Indeks.
Rachunek zdań ; Rachunek kwantyfikatorów ; Rachunek zbiorów ; Liczby naturalne ; Rachunek relacji ; Funkcje ; Relacje równoważności ; Moce zbiorów ; Relacje porządku ; Elementy teorii krat ; Rachunek zbiorów rozmytych.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-98581 (1 egz.)
Książka
W koszyku
Wstęp do logiki i teorii mnogości : zbiór zadań z rozwiązaniami / Urszula Dudziak, Anna Król. - Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego, 2014. - 176 s. : il. ; 24 cm.
Bibliogr. s. [175]-176. Indeks.
Rachunek zdań ; Rachunek kwantyfikatorów ; Rachunek zbiorów ; Liczny naturalne ; Rachunek relacji ; Funkcje ; Relacje równoważności ; Moce zbiorów ; Relacje porządku ; Elementy teorii krat ; Rachunek zbiorów rozmytych.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-101492 (1 egz.)
Książka
W koszyku
Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd. 4. - Warszawa : Państwowe Wydawnictwo Naukowe, 1975. - 510 s. ; 24 cm.
(Biblioteka Matematyczna ; t. 20)
Bibliogr. s. [499]-502. Indeks.
Wprowadzenie w problematykę podstaw matematyki ; I. Klasyczny rachunek logiczny ; II. Modele teorii aksjomatycznych ; III. Logiczna klasyfikacja pojęć; Zarys historyczny.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-42434 (1 egz.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
regionalia
kartografia
literatura obcojęzyczna
nowości
słowa kluczowe
klucz literacki
normy
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej