Logika matematyczna
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
Kobieta
(5249)
Literatura polska
(4584)
Płyty gramofonowe
(4556)
Polska
(3980)
Przyjaźń
(3691)
Logika matematyczna
(-)
Pokaż więcej ...
Rodzina
(3673)
II wojna światowa (1939-1945)
(3063)
Poezja polska
(2595)
Miłość
(2561)
Relacje międzyludzkie
(2450)
Powieść polska
(2399)
Zwierzęta
(2395)
Tajemnica
(2119)
Powieść amerykańska
(2014)
Wojsko
(1927)
Muzyka polska
(1920)
Filozofia
(1882)
Magia
(1874)
Pisarze polscy
(1789)
Język polski
(1666)
Dziewczęta
(1562)
Żydzi
(1539)
Pamiętniki polskie
(1477)
Rodzeństwo
(1446)
Nastolatki
(1344)
Śledztwo i dochodzenie
(1311)
Kultura
(1301)
Uczniowie
(1299)
Życie codzienne
(1249)
Literatura
(1198)
Polacy za granicą
(1171)
Małżeństwo
(1170)
Polityka
(1168)
Powieść angielska
(1136)
Dzieci
(1119)
Sztuka
(1072)
Uczucia
(1053)
Psy
(1047)
Publicystyka polska
(1004)
Wsie
(991)
Władcy
(991)
Ludzie a zwierzęta
(986)
Muzyka niemiecka
(982)
Teatr polski
(971)
Nauka
(947)
Trudne sytuacje życiowe
(944)
Literatura dziecięca polska
(942)
Historia
(903)
Duchowieństwo katolickie
(889)
Mickiewicz, Adam (1798-1855)
(880)
Powieść obyczajowa amerykańska
(880)
Literatura młodzieżowa polska
(869)
Boże Narodzenie
(857)
Arystokracja
(856)
Zabójstwo
(853)
Chłopcy
(841)
Opowiadanie polskie
(841)
Turystyka
(824)
Koty
(818)
Politycy
(815)
Kościół katolicki
(810)
Policjanci
(793)
Dziecko
(790)
Sekrety rodzinne
(790)
Dziennikarze
(781)
Podróże
(731)
Polityka międzynarodowa
(719)
Szlachta
(718)
Wychowanie w rodzinie
(716)
Postawy
(714)
Osoby zaginione
(706)
Prywatni detektywi
(705)
Wybory życiowe
(695)
Uprowadzenie
(690)
Opowiadanie dziecięce przygodowe
(677)
Młodzież
(667)
Prawo
(667)
Przestępczość zorganizowana
(664)
Wojna
(658)
Przedsiębiorstwo
(652)
Poszukiwania zaginionych
(650)
Muzyka
(647)
Religia
(643)
Etyka
(641)
Miasta
(640)
Wychowanie
(636)
Społeczeństwo
(633)
Nauczyciele
(631)
Dramat polski
(629)
Relacja romantyczna
(625)
Topografia
(620)
Matki i córki
(617)
Walka dobra ze złem
(614)
Chrześcijaństwo
(603)
Mężczyzna
(603)
Powieść obyczajowa polska
(602)
Sztuka polska
(595)
Szkolnictwo
(584)
Muzyka rozrywkowa polska
(579)
Ruch oporu
(579)
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
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
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
Logika teorii empirycznych / Marian Przełęcki ; tł. Jolanta Ewa Jasińska. - Warszawa : Państwowe Wydaw. Naukowe, 1988. - 137, [3] s. ; 19 cm.
(Logika i Zastosowania Logiki)
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-66957 (1 egz.)
Brak okładki
Książka
W koszyku
Logika matematyczna / Willard Van Orman Quine ; przeł. [z ang.] Leon Koj. - Warszawa : Państwowe Wydaw. Naukowe, 1974. - 330, [2] s. ; 21 cm.
Bibliogr. Indeks
- Zdania - Kwantyfikacja - Termy - Rozszerzona teoria klas - Relacje - Liczba - Syntaktyka
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-36015 (1 egz.)
Książka
W koszyku
Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 6. - Warszawa : Państwowe Wydawnictwo Naukowe, 1977. - 302, [1] s. : rys., tab. ; 24 cm.
(Biblioteka Matematyczna ; t. 30)
Indeksy.
Algebra zbiorów ; Liczby naturalne. Dowody indukcyjne ; Funkcje ; Sumy i iloczyny uogólnione zbiorów ; Produkty kartezjańskie zbiorów. Relacje. Funkcje jako relacje ; Produkty uogólnione. Relacje wieloczłonowe. Funkcje wielu zmiennych. Obrazy i przeciwobrazy wyznaczone przez funkcję ; Relacje równoważności ; Moce zbiorów ; Zbiory uporządkowane ; Zbiory liniowo uporządkowane ; Zbiory dobrze uporządkowane ; Rachunek zdań i jego zastosowanie do dowodów matematycznych ; Elementy rachunku funkcyjnego i jego zastosowanie do dowodów matematycznych ; Elementarne pojęcia algebry abstrakcyjnej.
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-48527 (1 egz.)
Książka
W koszyku
Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 14, 6 dodruk. - Warszawa: Wydaw. Naukowe PWN, 2012. - 302 s. : rys., tab. ; 24 cm.
Indeksy.
Algebra zbiorowa ; Liczby naturalne. Dowody indukcyjne ; Funkcje ; Sumy i iloczyny uogólnione zbiorów ; Produkty kartezjańskie zbiorów. Relacje. Funkcje jako relacje ; Produkty uogólnione. Relacje wieloczłonowe. Funkcje wielu zmiennych. Obrazy i przeciwobrazy wyznaczone przez funkcję ; Relacje równoważności ; Moce zbiorów ; Zbiory uporządkowane ; Zbiory liniowo uporządkowane ; Zbiory dobrze uporządkowane ; Rachunek zadań i jego zastosowanie do dowodów matematycznych ; Elementy rachunku funkcyjnego i jego zastosowanie do dowodów matematycznych ; Elementarne pojęcia algebry abstrakcyjnej.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Filia 6 (Podwisłocze 6)
Są egzemplarze dostępne do wypożyczenia: sygn. F.6-51 (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.)
Brak okładki
Książka
W koszyku
Od teorii mnogości do algebry logiki : zastosowanie algebry logiki w technice cyfrowej / H[ans] J[oachim] Siegfried ; przeł. z niem. M.P. Kaźmierkowski, A. Wójciak. - Warszawa : Wydaw. Komunikacji i Łączności, 1977. - 131, [1] s. : rys., tab. ; 21 cm.
Indeks
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-48385 (1 egz.)
Brak okładki
Książka
W koszyku
Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka. - Warszawa : Państwowe Wydaw. Naukowe, 1978. - 309, [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-50925 (1 egz.)
Brak okładki
Książka
W koszyku
Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka ; Opolskie Towarzystwo Przyjaciół Nauk. - Warszawa : Państwowe Wydaw. Naukowe, 1976. - 289, [2] s. ; 24 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-45781 (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.)
Książka
W koszyku
Podstawy matematyki / Ian Stewart, David Tall ; przełożyli Urszula i Mariusz Seweryńscy. - Warszawa : Prószyński Media, 2017. - 559 stron : ilustracje ; 23 cm.
Dziedzina i ujęcie
Matematyka
Tytuł oryginału: "The foundations of mathematics" 2015.
Bibliografia na stronach [548]-551. Indeks.
Książka "Podstawy matematyki" pozwoli zajrzeć w świat myślenia matematycznego, w którym definicje formalne i dowody prowadzą ku zdumiewającym, nowym sposobom definiowania, dowodzenia, obrazowania i zapisu symbolicznego matematyki, dalece wykraczającym poza nasze oczekiwania. Innymi słowy, "Podstawy matematyki" to podręcznik inny niż wszystkie, napisany przez mistrza - Iana Stewarta. Niniejsza książka przeznaczona jest dla czytelników, którzy pragną przejść od matematyki szkolnej do w pełni rozwiniętego stylu rozumowania matematyków zawodowych. Jest przeznaczona zarówno dla uczniów szkół średnich, rozważających pogłębianie wiedzy matematycznej, studentów pierwszych lat uniwersytetów i uczelni technicznych, jak i dla wszystkich osób poszukujących wglądu w fundamentalne idee i procesy myślowe matematyków. Prezentowane w niej formalne podejście do matematyki budowane jest jako naturalna konsekwencja leżących u jej podstaw pojęć oraz idei. Poruszane w niej tematy obejmują: naturę myślenia matematycznego, przegląd intuicyjnego rozwoju takich pojęć, jak zbiory, relacje, funkcje, wprowadzenie do logiki w postaci praktykowanej przez matematyków, metody dowodzenia (łącznie z analizą sposobu zapisywania dowodu matematycznego), rozwój aksjomatycznych systemów liczbowych, poczynając od liczb naturalnych po konstrukcje liczb rzeczywistych i zespolonych, liczby kardynalne. [www.empik.com, 2017]
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)
Są egzemplarze dostępne do wypożyczenia: sygn. WG-51 (1 egz.)
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-105277 (1 egz.)
Filia 6 (Podwisłocze 6)
Są egzemplarze dostępne do wypożyczenia: sygn. F.6-51 (1 egz.)
Brak okładki
Książka
W koszyku
Wstęp do filozofii / Antoni B. Stępień. - Wyd. 3 rozszerz. - Lublin : Towarzystwo Naukowe KUL, 1995. - 476, [6] s. ; 24 cm.
(Prace Wydziału Filozoficznego / Tow. Naukowe Katolickiego Uniwersytetu Lubelskiego ; 65)
Zawiera także "Elementy logiki formalnej" Stanisława Kamińskiego
Bibliogr. - Indeksy
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Filia 4 (Ofiar Katynia 15)
Są egzemplarze dostępne do wypożyczenia: sygn. F.4-1 (1 egz.)
Filia 6 (Podwisłocze 6)
Są egzemplarze dostępne do wypożyczenia: sygn. F.6.- 1 (1 egz.)
Brak okładki
Książka
W koszyku
Wstęp do filozofii / Antoni B. Stępień. - Wyd. 3 rozszerz. - Lublin : Tow. Naukowe Katolickiego Uniwersytetu Lubelskiego, 1995. - 270 s. ; 24 cm.
(Prace Wydziału Filozoficznego / Tow. Naukowe Katolickiego Uniwersytetu Lubelskiego ; 65)
Zawiera także "Elementy logiki formalnej" Stanisława Kamińskiego
Bibliogr. - Indeksy
aktualnie wypożyczona
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Filia 3 (Krzyżanowskiego 6)
Wszystkie egzemplarze są obecnie wypożyczone: sygn. F.3-1 (1 egz.)
Książka
W koszyku
Logika i teoria mnogości / Krzysztof Wiktorowicz. - Wyd. 2. - Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej, 2015. - 71, [2] s. : il. ; 24 cm.
(Materiały Pomocnicze / [Politechnika Rzeszowska])
Bibliogr. s. [73].
LOGIKA MATEMATYCZNA: Funktory i formuły ; Tautologie. Wynikanie logiczne. Systemy dowodzenia ; Metoda rezolucji. Elementy logiki pierwszego rzędu. TEORIA MNOGOŚCI: Rachunek zbiorów ; Iloczyn kartezjański. Relacje ; Funkcje jako relacje ; Elementy teorii mocy.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)
Są egzemplarze dostępne do wypożyczenia: sygn. WG-51 (1 egz.)
Książka
W koszyku
Logika i teoria mnogości / Krzysztof Wiktorowicz. - Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej, 2013. - 71, [2] s. : rys., wykr. ; 24 cm.
(Materiały Pomocnicze / [Politechnika Rzeszowska])
Bibliogr. s. [73].
I. LOGIKA MATEMATYCZNA: 1. Funktory i formuły ; 2. Tautologie. Wynikanie logiczne. Systemy dowodzenia ; 3. Metoda rezolucji. Elementy logiki pierwszego rzędu. II. TEORIA MNOGOŚCI: 4. Rachunek zbiorów ; 5. Iloczyn kartezjański. Relacje ; 6. Funkcje jako relacje ; 7. Elementy teorii mocy.
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-99658 (1 egz.)
Książka
W koszyku
Elementy logiki i teorii mnogości / Agnieszka Wojciechowska. - Warszawa : Państwowe Wydaw. Naukowe, 1979. - 200 s. : rys., wykr. ; 21 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-54299 (1 egz.)
Brak okładki
Książka
W koszyku
Metamatematyka a epistemologia / Jan Woleński. - Warszawa : Wydaw. Naukowe PWN, 1993. - 325 s. ; 20 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-71870 (1 egz.)
Książka
W koszyku
Ontologia sytuacji : podstawy i zastosowania / Bogusław Wolniewicz. - Warszawa : Państwowe Wydaw. Naukowe, 1985. - 138, [2] s. : rys., wykr. ; 20 cm.
(Logika i Zastosowania Logiki)
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-61910 (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