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
(5250)
Literatura polska
(4582)
Płyty gramofonowe
(4556)
Polska
(3980)
Przyjaźń
(3689)
Logika matematyczna
(-)
Pokaż więcej ...
Rodzina
(3669)
II wojna światowa (1939-1945)
(3063)
Poezja polska
(2595)
Miłość
(2557)
Relacje międzyludzkie
(2450)
Powieść polska
(2399)
Zwierzęta
(2390)
Tajemnica
(2116)
Powieść amerykańska
(2014)
Wojsko
(1927)
Muzyka polska
(1920)
Filozofia
(1882)
Magia
(1872)
Pisarze polscy
(1789)
Język polski
(1665)
Dziewczęta
(1558)
Żydzi
(1538)
Pamiętniki polskie
(1477)
Rodzeństwo
(1446)
Nastolatki
(1343)
Śledztwo i dochodzenie
(1311)
Kultura
(1301)
Uczniowie
(1295)
Życie codzienne
(1248)
Literatura
(1198)
Małżeństwo
(1171)
Polacy za granicą
(1171)
Polityka
(1168)
Powieść angielska
(1136)
Dzieci
(1116)
Sztuka
(1072)
Uczucia
(1052)
Psy
(1044)
Publicystyka polska
(1004)
Władcy
(991)
Wsie
(990)
Ludzie a zwierzęta
(985)
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
(855)
Zabójstwo
(852)
Opowiadanie polskie
(841)
Chłopcy
(838)
Turystyka
(824)
Koty
(818)
Politycy
(815)
Kościół katolicki
(810)
Policjanci
(793)
Dziecko
(790)
Sekrety rodzinne
(790)
Dziennikarze
(781)
Podróże
(730)
Polityka międzynarodowa
(719)
Szlachta
(717)
Wychowanie w rodzinie
(717)
Postawy
(713)
Osoby zaginione
(706)
Prywatni detektywi
(705)
Wybory życiowe
(696)
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
(639)
Wychowanie
(636)
Społeczeństwo
(632)
Nauczyciele
(631)
Dramat polski
(629)
Relacja romantyczna
(625)
Topografia
(620)
Matki i córki
(616)
Walka dobra ze złem
(612)
Mężczyzna
(603)
Chrześcijaństwo
(602)
Powieść obyczajowa polska
(602)
Sztuka polska
(594)
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
Książka
W koszyku
Logika : nauka rozumowania / Zdzisław Kraszewski. - Warszawa : Państwowe Wydaw. Naukowe, 1975. - 270, [2] 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-42909 (1 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki, teorii mnogości i algebry / Jan Krempa, Barbara Mażbic-Kulma. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1977. - 170, [2] s. : rys., wykr. ; 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-49242 (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
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.)
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.)
Brak okładki
Książka
W koszyku
Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej / Jan Łukasiewicz ; tł. Adam Chmielewski, Aleksandra Krajczyk ; red. Jan Woleński. - Warszawa : Państwowe Wydaw. Naukowe, 1988. - 340, [1] s. ; 20 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-66926 (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
Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 12, 6 dodruk. - Warszawa : Wydaw. Naukowe PWN, 2012. - [2], 271, [2] s. : rys., wykr. ; 21 cm.
Bibliogr. s. [264]. Indeks.
Przedmowa do wydania pierwszego ; Przedmowa do wydania drugiego ; R. I. Rachunek zadań ; R. II Algebra zbiorowa ; R. III Funkcje zadaniowe, kwantyfikatory ; R. IV Relacje. Relacja równoważna ; R. V Funkcje ; R. VI Działania nieskończone ; R. VII Teoria mocy ; R. VIII Relacje porządkujące ; R. IX Zestawy ogólnie sprawdzające ; R. X Arytmetyka liczb kardynalnych i porządkowych ; R. XI Elementarne systemy formalne i ich podstawowe własności ; R. XII Teoria modeli ; R. XIII Funkcje rekurencyjne ; Dod. I Indukcja matematyczna ; Dod. II Kraty, algebry Boole'a ; Odpowiedzi, rozwiązania, wskazówki: do rozdziału I, II, III, IV, V, VI, VII, VIII, X, XI, XII, XIII, do dodatku: I, II.
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.)
Brak okładki
Książka
W koszyku
Wiedza prawdopodobna : powstanie i rozwój w empiryzmie logicznym programu probabilistycznej oceny wiedzy naukowej / Evaldas Nekrasas ; przeł. z ros. Zygmunt Simbierowicz. - Warszawa : Wydaw. Naukowe PWN, 1992. - 261 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-70977 (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.)
Książka
W koszyku
Teorie badań : ujęcia modelowe / Maria Nowakowska. - Warszawa : Państwowe Wydaw. Naukowe, 1977. - 328 s. : rys. ; 24 cm.
Indeksy
Spis treści także 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-47584 (1 egz.)
Brak okładki
Książka
W koszyku
Teza Churcha : kontekst historyczno-filozoficzny / Adam Olszewski. - Kraków : Towarzystwo Autorów i Wydawców Prac Naukowych Universitas, cop. 2009. - 519 s. ; 25 cm.
(Monografie Centrum Kopernika)
Bibliogr. s. [487]-512. Indeks.
Streszcz. ang.
I. KONTEKST HISTORYCZNY. 1. Tło historyczne: Dziedzictwo Kanta i trzy projekty ; Zasada indukcji: Hermann Grasmann (18091877) ; Logicyzm i liczby naturalne: Frege (1848-1925) ; Czym są liczby? Richard Dedekind (1831-1916) ; Zerwanie z ontologią podmiotu: Giuseppe Peano (1858-1923) ; Formalizm jako program badawczy: David Hilbert (1862-1943) ; W duchu Programu Hilberta: Thoralf Skolem (1887-1963) ; Granice formalizmu: Kurt Gödel (1906-1978). 2. Teza Churcha w poglądach Ojców Obliczalności: Alonzo Church (1903-1995) ; Alan M. Turing (1912-1954) ; Stephen C. Kleene (1909-1994) ; Kurt Gödel (1906-1978) ; Emil Post (1897-1954) ; Barkley J. Rosser (1907-1989) ; Józef Pepis. 3. Badania nad Tezą Churcha 1945-1990: Georg Kreisel (1923-) ; Krytyka Tezy Churcha ; Obrona Tezy Churcha. 4. Teza Churcha po 1990 r. II. ZAGADNIENIA SZCZEGÓŁOWE. 5. Status Tezy Churcha. 6. Pojęcia i podmiot. 7. Argumenty za Tezą Churcha.
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-92730 (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.)
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.)
Brak okładki
Książka
W koszyku
Matematyka z zadaniami / Janusz Piszczała, Maria Piszczała, Barbara Wojcieszyn. - Warszawa ; Poznań : Państwowe Wydaw. Naukowe, 1979. - 439 s. : rys., wykr. ; 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-52706 (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.)
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.)
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