SOWA OPAC : Pedagogiczna Biblioteka Wojewódzka im. Gustawa Herlinga-Grudzińskiego w Kielcach

132 wyniki

Brak okładki

Książka

W koszyku

Logika matematyczna / Zofia Adamowicz, Paweł Zbierski. - Warszawa : Państ. Wydaw. Naukowe, 1991 - 214, [2] s. : err. ; 24 cm.

Autor

Adamowicz Zofia Zbierski Paweł

Temat

Logika matematyczna

Symbol UKD: 510.6(075.8)

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 211062/czyt.51 (1 egz.)

Staszów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 17381 (1 egz.)

Książka

W koszyku

oceń

Przeszłość, teraźniejszość, przyszłość : studium filozoficzne / Zdzisław Augustynek. - Warszawa : Państwowe Wydawnictwo Naukowe, 1979. - 207, [1] s. ; 20 cm.

Autor

Augustynek Zdzisław

Temat

Czas Logika matematyczna

Symbol UKD: 113/119:510.6

Bibliogr. s. 187.

Streszcz. ros., ang.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 9 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 146730, 146731 (2 egz.)

Busko Zdrój - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 23166 (1 egz.)

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 24317 (1 egz.)

Kazimierza Wielka - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 17974, 17797 (2 egz.)

Końskie - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 29709 (1 egz.)

Opatów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 13952 (1 egz.)

Ostrowiec - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 26562 (1 egz.)

Sandomierz - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 21539 (1 egz.)

Starachowice - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 20328 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Issledovanie po teorii složnosti vyčislenij i formal'nym âzykam / A. S. Baraško, V. A. Lipskaâ, S. I. Rojzen. - Kiev : "Naukova dumka", 1978. - 172, [1] s. ; 21 cm.

Autor

Baraško Anatolij Sergeevič. Lipskaâ Viktoriâ Alekseevna. Rojzen Semen Iosifovič.

Temat

Automatyka Logika matematyczna

Symbol UKD: 517.98=161.1

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 144843 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Elementy logiki matematycznej i algebry wyższej w przykładach i ćwiczeniach : dla wyższych studiów technicznych : praca zbiorowa / Olga Bereśniewicz-Rajca, Krystyna Szczerbińska, Jan Walichiewicz. - Gliwice : Wydaw. Politechniki Śląskiej, 1970. - 337 s. : il. ; 23 cm.

(Skrypty Uczelniane / Politechnika Śląska im. Wincentego Pstrowskiego ; nr 265)

Autor

Bereśniewicz-Rajca Olga (1929- ). Szczerbińska Krystyna. Walichiewicz Jan.

Temat

Algebra Logika matematyczna

Gatunek

Podręczniki akademickie

Symbol UKD: 512 510.6 (075.8)

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 82745, 82747 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Wprowadzenie do logiki i teorii mnogości / Ludwik Borkowski. - [Wyd. 1, 2 rzut]. - Lublin : TNKUL, 1991 (Lub. : "Norbertinum"). - 445 s. : rys. ; 24 cm.

(Źródła i Monografie / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego, ISSN 0860-3367 ; 133.)

Autor

Borkowski Ludwik (1914-1993).

Temat

Logika Logika matematyczna Teoria mnogości

Symbol UKD: 510.6+510.22+161/164](075.8)

Indeksy.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.

Busko Zdrój - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 42857 (1 egz.)

Busko zdrój - czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 37685 (1 egz.)

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 39230 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Teoria automatów / Jerzy Bromirski. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1969. - 251, [5] s. : il. ; 23 cm.

(Wykłady Akademickie. Elektronika.)

Autor

Bromirski Jerzy (1915-1989).

Temat

Automaty Komputery. Logika matematyczna.

Gatunek

Podręczniki akademickie.

Symbol UKD: 004:62-5:510.6](075.8)

Bibliogr.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 74014 (1 egz.)

Książka

W koszyku

oceń

Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka / Wojciech Buszkowski. - Warszawa : Państ. Wydaw. Naukowe, 1989 - 271, [1] s. : err. ; 20 cm.

(Logika i Zastosowania Logiki)

Autor

Buszkowski Wojciech

Forma i typ

Książki

Temat

Gramatyka Językoznawstwo matematyczne Logika matematyczna

Symbol UKD: 164:510.6:81'36

Bibliogr. s. 263-268.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 7 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 203111 (1 egz.)

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 35746 (1 egz.)

Kazimierza Wielka - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 26830 (1 egz.)

Końskie - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 41109 (1 egz.)

Sandomierz - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 33995 (1 egz.)

Starachowice - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 31464 (1 egz.)

Staszów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 16641 (1 egz.)

Książka

W koszyku

oceń

Jak pokonać czarownicę : matematyka-logika / Jerzy Cwirko-Godycki ; oprac. literackie Joanna Papuzińska ; oprac. graf. [kolor.] Hanna Czyżewska. - Wyd. 2. - Warszawa : Krajowa Agencja Wydawnicza, 1977. - 44, [4] s. ; 19 x 21 cm.

Autor

Ćwirko-Godycki Jerzy. Papuzińska Joanna (1939- ). Czyżewska Hanna.

Temat

Logika matematyczna.

Gatunek

Wydawnictwa dla dzieci.

Symbol UKD: 517(0.053.2)

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 134363 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Elementy logiki formalnej / Henryk Greniewski. - Warszawa : Państwowe Wydawnictwo Naukowe, 1955. - 492 s. : il. ; 25 cm.

Autor

Greniewski Henryk (1903-1972).

Temat

Logika matematyczna.

Gatunek

Podręczniki akademickie.

Symbol UKD: 16+016

Bibliogr. s. 461-465.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 39664 (1 egz.)

Ostrowiec - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 19887 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd. 5. - Warszawa : Państ. Wydaw. Naukowe, 1981 - 510, [2] s. : tab. ; 24 cm.

(Biblioteka Matematyczna ; t. 20)

Autor

Grzegorczyk Andrzej

Temat

Logika matematyczna

Gatunek

Podręczniki akademickie

Symbol UKD: 517(075.8)

Bibliogr. s. 499-502.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 157086 (1 egz.)

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 27952 (1 egz.)

Książka

W koszyku

oceń

Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd. 4. - Warszawa : Państ. Wydaw. Naukowe, 1975 - 510, [2] s. : il. ; 24 cm.

(Biblioteka Matematyczna, ISSN 0519-8356 ; t. 20.)

Autor

Grzegorczyk Andrzej (1922- ).

Temat

Logika matematyczna.

Symbol UKD: 510.6

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 6 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 119950 (1 egz.)

Busko Zdrój - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 18105 (1 egz.)

Kazimierza Wielka - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 12306 (1 egz.)

Ostrowiec - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 19475, 19173, 18790 (3 egz.)

Staszów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 8491 (1 egz.)

Włoszczowa - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 11899, 11900 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd. 3 popr. - Warszawa : Państwowe Wydawnictwa Naukowe, 1972. - 510, [1] s. : il. ; 23 cm.

(Biblioteka Matematyczna, ISSN 0519-8356 ; t. 20.)

Autor

Grzegorczyk Andrzej (1922-2014).

Temat

Logika matematyczna.

Symbol UKD: 510.6

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 10 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 95282, 95283, 95281 (3 egz.)

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 9900 (1 egz.)

Kazimierza Wielka - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 09733 (1 egz.)

Końskie - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 19109 (1 egz.)

Opatów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 10495 (1 egz.)

Ostrowiec - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 14246, 12105 (2 egz.)

Pińczów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 23730 (1 egz.)

Sandomierz - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 12361 (1 egz.)

Starachowice - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 11001 (1 egz.)

Włoszczowa - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 8895 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd. 2 zm. i uzup. - Warszawa : Państwowe Wydawnictwo Naukowe, 1969. - 505, [3] s. : il. ; 23 cm.

(Biblioteka Matematyczna ; t. 20.)

Autor

Grzegorczyk Andrzej (1922-2014).

Temat

Logika matematyczna.

Symbol UKD: 510.6

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 69853, 69852 (2 egz.)

Końskie - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 14147 (1 egz.)

Ostrowiec - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 7036 (1 egz.)

Książka

W koszyku

oceń

Zarys logiki matematycznej / Andrzej Grzegorczyk. - Warszawa : Państwowe Wydawnictwo Naukowe, 1961. - 477, [2] s. : il., err. ; 25 cm.

(Biblioteka Matematyczna ; t. 20.)

Autor

Grzegorczyk Andrzej (1922-2014).

Temat

Logika matematyczna.

Symbol UKD: 510.6

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 28527, 28528 (2 egz.)

Końskie - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 4606 (1 egz.)

Starachowice - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 2543 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Geometria Laguerre'a / Henryk Guściora. - Gdańsk : Wydaw. Uniwersytetu Gdańskiego, 1975 - 130 s. : il. ; 24 cm.

(Skrypty Uczelniane / Uniwersytet Gdański.)

Autor

Guściora Henryk.

Temat

Geometria analityczna. Logika matematyczna.

Gatunek

Podręczniki akademickie.

Symbol UKD: 514.12:510.6](075.8)

Bibliogr. s. 127.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 122826 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Algebry związane z teoriami zawierającymi definicje warunkowe / Katarzyna Hałkowska. - Warszawa ; Wrocław : Państwowe Wydawnictwo Naukowe, 1979. - 89, [2] s. ; err. ; 24 cm.

(Prace Opolskiego Towarzystwa Przyjaciół Nauk. Wydział IV - Nauk Technicznych i Ścisłych.)

Autor

Hałkowska Katarzyna.

Temat

Logika matematyczna.

Symbol UKD: 510.6

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 146486, 146487, 146485 (3 egz.)

Końskie - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 29626 (1 egz.)

Włoszczowa - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 16931, 16930 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Zbiory rozmyte w analizie systemowej / Janusz Kacprzyk. - Warszawa : Państ. Wydaw. Naukowe, 1986 - 522, [1] s. : rys., wykr. ; 21 cm.

(Analiza Systemowa i jej Zastosowania)

Autor

Kacprzyk Janusz

Forma i typ

Książki

Temat

Analiza systemowa Logika matematyczna Teoria mnogości

Symbol UKD: 519.8:510.6:510.22

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 185745 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Logika matematyczna / Stanisław Kaczorowski. Cz. 2, Logika nowoczesna : (zarys dziejów). - Lwów : Lwowska Biblioteczka Pedagogiczna, 1938. - 36 s. ; 22 cm.

(Licealna Biblioteczka Filozoficzna ; 8)

Autor

Kaczorowski Stanisław.

Temat

Logika matematyczna.

Symbol UKD: 510.6(091)

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 1326/czyt.mag. (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Logika matematyczna. Cz. 1, Algebra logiki : (zarys dziejów) / Stanisław Kaczorowski. - Wyd. 2. - Łódź : Księgarnia Naukowa, 1946. - 26, [1] s. ; 20 cm.

(Licealna Biblioteczka Filozoficzna ; t. 6)

Autor

Kaczorowski Stanisław.

Temat

Logika matematyczna

Symbol UKD: 510.6(091)

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 62190 (1 egz.)

Książka

W koszyku

oceń

Logika matematyczna w nauczaniu początkowym / Janina Karczmarczyk. - Warszawa : Wydawnictwa Szkolne i Pedagogiczne, 1983. - 110, [2] s. : rys., wykr. (w tym kolor.) ; 21 cm.

Autor

Karczmarczyk Janina.

Forma i typ

Książki

Temat

Logika matematyczna Nauczanie początkowe

Symbol UKD: 372.851:372.47:16](07)

Bibliogr. s. 109.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 12 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 167892, 167891 (2 egz.)

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 29814 (1 egz.)

Kazimierza Wielka - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 21478, 28195, 21385 (3 egz.)

Końskie - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 34358, 43773 (2 egz.)

Końskie - czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 34357[372.4] (1 egz.)

Opatów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 16551 (1 egz.)

Ostrowiec - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 32111, 32519, 32229 (3 egz.)

Pińczów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 17871, 17870, 18016 (3 egz.)

Sandomierz - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 27843, 27235, 27234 (3 egz.)

Starachowice - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 24100, 24053, 24052 (3 egz.)

Staszów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 13510 (1 egz.)

Włoszczowa - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 20035, 20037, 20036 (3 egz.)