Logika matematyczna
Ukryj filtry
Sortowanie
Źródło opisu
Księgozbiór
(36)
Forma i typ
Książki
(36)
Publikacje naukowe
(30)
Publikacje popularnonaukowe
(1)
Dostępność
dostępne
(37)
tylko na miejscu
(5)
Placówka
Wypożyczalnia
(33)
Samooobsługa
(4)
Bez możliwości wypożyczenia
(5)
Autor
Marek Wiktor
(6)
Onyszkiewicz Janusz
(5)
Rasiowa Helena
(5)
Słupecki Jerzy
(5)
Grzegorczyk Andrzej
(4)
Pokaż więcej ...
Borkowski Ludwik
(3)
Hałkowska Katarzyna
(2)
Piróg-Rzepecka Krystyna
(2)
Bryll Grzegorz
(1)
Buszkowski Wojciech
(1)
Chang Chen Chung (1927- )
(1)
Heim Klaus
(1)
Jaczewski Jerzy
(1)
Keisler H. Jerome
(1)
Kisielewicz Andrzej
(1)
Kubiński Tadeusz
(1)
Lavrov Igor' Andreevic
(1)
Maksimova Larisa L'vovna
(1)
Marciszewski Witold
(1)
Mostowski A. W
(1)
Onyszkiewicz Janusz (1937- )
(1)
Pawlak Z
(1)
Pogonowski Jerzy
(1)
Pogorzelski Witold Adam
(1)
Russell Bertrand
(1)
Wiegner Adam (1889-1967)
(1)
Wojciechowska Agnieszka
(1)
Wolniewicz Bogusław
(1)
Zieliński Tomasz (informatyk)
(1)
Znamierowski Czesław
(1)
Pokaż mniej ...
Rok wydania
2010 - 2019
(2)
2000 - 2009
(1)
1990 - 1999
(5)
1980 - 1989
(5)
1970 - 1979
(14)
Pokaż więcej ...
1960 - 1969
(7)
1950 - 1959
(1)
1940 - 1949
(1)
Pokaż mniej ...
Okres powstania dzieła
2001-
(2)
Kraj wydania
Polska
(26)
nieznany (01)
(8)
Niemcy
(1)
Holandia
(1)
Język
polski
(34)
angielski
(1)
niemiecki
(1)
Przynależność kulturowa
Literatura polska
(1)
Temat
Polska
(2147)
Marynarka wojenna
(1749)
Wojsko
(1410)
Wojna światowa (1939-1945)
(819)
Powieść amerykańska
(748)
Logika matematyczna
(-)
Pokaż więcej ...
Wojna 1939-1945 r.
(746)
Język angielski
(718)
Statki
(702)
Kobieta
(612)
Filozofia
(608)
Okręty wojenne
(579)
Bezpieczeństwo międzynarodowe
(536)
Historia
(490)
Bezpieczeństwo narodowe
(481)
Polityka międzynarodowa
(479)
II wojna światowa (1939-1945)
(477)
Wojna morska
(452)
Nawigacja
(415)
Powieść angielska
(406)
Żegluga
(402)
Okręty podwodne
(384)
Fizyka
(380)
Elektrotechnika
(366)
Matematyka
(364)
Poezja polska
(364)
Powieść polska
(356)
Język polski
(354)
Wojna
(350)
Pamiętniki polskie
(349)
Superbohaterowie
(346)
Polityka
(340)
Pedagogika
(336)
Elektronika
(330)
Maszyny
(322)
Technika
(319)
Automatyka
(315)
Psychologia
(310)
Terroryzm
(306)
Opowiadanie polskie
(299)
Policjanci
(297)
Lotnictwo wojskowe
(294)
Statystyka
(290)
Akademia Marynarki Wojennej
(287)
Nauka
(284)
Przedsiębiorstwo
(281)
Tajemnica
(281)
Budownictwo okrętowe
(272)
Zarządzanie
(271)
Prawo morskie
(257)
Rodzina
(257)
Transport morski
(256)
Literatura polska
(254)
Publicystyka polska
(251)
Komputery
(244)
Wychowanie
(243)
Literatura francuska
(240)
Prawo
(240)
Zabójstwo
(234)
Magia
(233)
Niemcy
(231)
Kultura
(227)
NATO
(217)
Sztuka wojenna
(217)
Socjologia
(215)
Ekonomia
(214)
Unia Europejska
(213)
Stany Zjednoczone
(212)
Nauczanie
(211)
Język niemiecki
(204)
Mechanika
(197)
Marksizm
(195)
Astronomia
(190)
Bezpieczeństwo publiczne
(188)
Zarządzanie kryzysowe
(186)
Państwo
(185)
Politycy
(184)
Silniki spalinowe
(182)
Europa
(180)
Operacje morskie
(176)
Słownik polski
(176)
Wojna światowa (1914-1918)
(175)
Morze
(170)
Śledztwo i dochodzenie
(170)
Bitwy morskie
(169)
Wytrzymałość materiałów
(168)
Młodzież
(165)
Etyka
(164)
Statystyka matematyczna
(163)
Transport
(163)
Dziecko
(162)
Miłość
(162)
Osoby zaginione
(161)
Informatyka
(160)
Polacy za granicą
(160)
Prawo międzynarodowe
(160)
Psychologia społeczna
(160)
Religia
(159)
Samoloty
(153)
Sztuka
(152)
Gospodarka
(150)
Pokaż mniej ...
Gatunek
Opracowanie
(1)
Podręcznik
(1)
Podręczniki akademickie
(1)
Dziedzina i ujęcie
Matematyka
(2)
Filozofia i etyka
(1)
Informatyka i technologie informacyjne
(1)
36 wyników Filtruj
Brak okładki
Książka
W koszyku
Metody odrzucania wyrażeń / Grzegorz Bryll. - Warszawa : AOW PLJ, 1996. - 103 s. ; 24 cm.
(Problemy Współczesnej Nauki. Teoria i Zastosowania. Informatyka / ed. serii Leonard Bolc)
Autor
Bryll Grzegorz.
Temat
Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 162926 (nr inw. 162926) (1 egz.)
Książka
W koszyku
Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka / Wojciech Buszkowski. - Warszawa : PWN, 1989. - 271, [1] s. : err. ; 20 cm.
(Logika i Zastosowania Logiki)
Autor
Buszkowski Wojciech.
Forma i typ
Publikacje naukowe Książki
Temat
Gramatyka Językoznawstwo matematyczne Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 156279 (nr inw. 156279), 156278 (nr inw. 156278) (2 egz.)
Brak okładki
Książka
W koszyku
Model theory / C. C. Chang, H. J. Keisler. - Amsterdam ; London : North-Holland Publishing Company ; New York : American Elsevier Publishing Company, cop. 1973. - XII, 550 s. ; 23 cm.
(Studies in Logic and the Foundations of Mathematics ; vol. 73)
Autor
Chang Chen Chung (1927- ). Keisler H. Jerome.
Temat
Teoria modeli. Semantyka logiczna. Logika matematyczna.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 123974 (nr inw. 123974) (1 egz.)
Brak okładki
Książka
W koszyku
Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd. 6. - Warszawa : Państwowe Wydawnictwo Naukowe, 1984. - 510, [1] s. : wykr. ; 24 cm.
(Biblioteka Matematyczna ; T. 20)
Autor
Grzegorczyk Andrzej.
Forma i typ
Książki Publikacje naukowe
Temat
Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 150134 (nr inw. 150134) (1 egz.)
Brak okładki
Książka
W koszyku
Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd. 3 popr. - Warszawa : PWN, 1973. - 510, [2] s. : il. ; 24 cm.
(Biblioteka Matematyczna ; T. 20)
Autor
Grzegorczyk Andrzej.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 111124 (nr inw. 111124), 111123 (nr inw. 111123) (2 egz.)
Brak okładki
Książka
W koszyku
Zarys logiki matematycznej / Andrzej Grzegorczyk. - Warszawa : PWN, 1961. - 477, [3] s. ; 25 cm.
(Biblioteka Matematyczna ; T. 20)
Autor
Grzegorczyk Andrzej.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 68994 (nr inw. 68994), 68499 (nr inw. 68499), 68552 (nr inw. 68552) (3 egz.)
Brak okładki
Książka
W koszyku
Zarys logiki matematycznej / Andrzej Grzegorczyk. - Wyd.2 zm. i uzup. - Warszawa : PWN, 1969. - 505, [2] s. ; 24 cm.
(Biblioteka Matematyczna ; T. 20)
Autor
Grzegorczyk Andrzej.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 97823 (nr inw. 97823) (1 egz.)
Brak okładki
Książka
W koszyku
Schaltungsalgebra / Klaus, Heim. - Berlin : Siemens Aktiengesellschaft, 1967. - 151s. : il. ; 21 cm.
Autor
Heim Klaus.
Temat
Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 98800 (nr inw. 98800) (1 egz.)
Brak okładki
Książka
W koszyku
Układy logiczne dla zastosowań przemysłowych / Jerzy Jaczewski. - Warszawa : PWN, 1970. - 284, [3] s., [1] k. złoż. : tys., tab. ; 24 cm.
Autor
Jaczewski Jerzy.
Forma i typ
Publikacje naukowe Książki
Temat
Automatyka Komputery Logika matematyczna Przemysł
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 103409 (nr inw. 103409) (1 egz.)
Książka
W koszyku
Sztuczna inteligencja i logika : podsumowanie przedsięwzięcia naukowego / Andrzej Kisielewicz. - Wydanie 2 zmienione, 1 dodruk. - Warszawa : Wydawnictwo WNT : Wydawnictwo Naukowe PWN, 2017. - 379 stron : ilustracje ; 24 cm.
Autor
Kisielewicz Andrzej.
Forma i typ
Książki Publikacje popularnonaukowe
Przynależność kulturowa
Literatura polska
Temat
Sztuczna inteligencja Logika matematyczna
Gatunek
Podręcznik
Dziedzina i ujęcie
Informatyka i technologie informacyjne Matematyka
Bibliografia strony 365-371. Indeks.
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Samooobsługa
Są egzemplarze dostępne do wypożyczenia: sygn. KF/01.5 [fioletowa - 7 dni] (nr inw. 210962, 210963) (2 egz.)
Bez możliwości wypożyczenia
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. KF/01.5 [fioletowa na miejscu] (nr inw. 210961) (1 egz.)
Książka
W koszyku
Wstęp do logicznej teorii pytań / Tadeusz Kubiński. - Warszawa : Państwowe Wydawnictwo Naukowe, 1971. - 116 s. ; 23 cm.
Autor
Kubiński Tadeusz.
Forma i typ
Książki Publikacje naukowe
Temat
Logika matematyczna Metodologia
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 104621 (nr inw. 104621) (1 egz.)
Brak okładki
Książka
W koszyku
Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów / Igor' Andreevic Lavrov, Larisa L'vovna Maksimova ; z j. ang. przeł. Jerzy Pogonowski. - Warszawa : Wydaw. Nauk. PWN, 2004. - XII, 316 s. ; 21 cm.
Autor
Lavrov Igor' Andreevic. Maksimova Larisa L'vovna. Pogonowski Jerzy.
Forma i typ
Publikacje naukowe Książki
Temat
Teoria mnogości Logika matematyczna Algorytmy
[Na k. tyt. aut.]: Igor A. Ławrow, Łarisa L. Maksimowa
[Tyt. oryg.]: Zadaci po teorii mnozestv, matematiceskoj logike i teorii algoritmov
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 174647 (nr inw. 174647) (1 egz.)
Książka
W koszyku
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod red. Witolda Marciszewskiego. - Warszawa : PWN, 1987. - 472 s. : rys., err. ; 25 cm.
Autor
Marciszewski Witold.
Forma i typ
Książki Publikacje naukowe
Temat
Logika matematyczna
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 195934 (nr inw. 195934), 200856 (nr inw. 200856) (2 egz.)
Samooobsługa
Są egzemplarze dostępne do wypożyczenia: sygn. KF/01.5 [fioletowa - 7 dni] (nr inw. 153443) (1 egz.)
Bez możliwości wypożyczenia
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. KF/01.5 [fioletowa na miejscu] (nr inw. 153442) (1 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd.6. - Warszawa : PWN, 1996. - 274 s. ; 21 cm.
Autor
Marek Wiktor. Onyszkiewicz Janusz.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna Teoria mnogości
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 163298 (nr inw. 163298) (1 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Warszawa, Kraków : PWN, 1972. - 278 s. ; 21 cm.
Autor
Marek Wiktor. Onyszkiewicz Janusz.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna Teoria mnogości
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 109106 (nr inw. 109106) (1 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 2 popr. - Warszawa : PWN, 1975. - 273, [2] s. ; 21 cm.
Autor
Marek Wiktor. Onyszkiewicz Janusz.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna Teoria mnogości
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 119415 (nr inw. 119415), 119414 (nr inw. 119414) (2 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 3. - Warszawa : PWN, 1977. - 273, [2] s. ; 21 cm.
Autor
Marek Wiktor. Onyszkiewicz Janusz.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna Teoria mnogości
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 129898 (nr inw. 129898), 129899 (nr inw. 129899) (2 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 4. - Warszawa : PWN, 1978. - 273, [2] s. ; 20 cm.
Autor
Marek Wiktor. Onyszkiewicz Janusz.
Forma i typ
Publikacje naukowe Książki
Temat
Logika matematyczna Teoria mnogości
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 132850 (nr inw. 132850) (1 egz.)
Książka
W koszyku
Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 12 - 6 dodr. - Warszawa : Wydaw. Naukowe PWN, cop. 1998. - 271, [2] s. : rys., wykr. ; 21 cm.
Autor
Marek Wiktor. Onyszkiewicz Janusz (1937- )
Temat
Logika matematyczna. Teoria mnogości.
Gatunek
Podręczniki akademickie.
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 190428 (nr inw. 190428), 190429 (nr inw. 190429) (2 egz.)
Samooobsługa
Są egzemplarze dostępne do wypożyczenia: sygn. KZ/01.0 [zielona - 7 dni] (nr inw. 190426, 190427) (2 egz.)
Bez możliwości wypożyczenia
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. KZ/01.0 [zielona na miejscu] (nr inw. 190425) (1 egz.)
Brak okładki
Książka
W koszyku
Logika dla inżynierów / A. W. Mostowski, Z. Pawlak. - Warszawa : Państwowe Wydawnictwo Naukowe, 1970. - 315, [1] s. : il. ; 23 cm.
(Biblioteka Naukowa Inżyniera)
Autor
Mostowski A. W. Pawlak Z.
Forma i typ
Książki Publikacje naukowe
Temat
Automatyka Komputery Logika matematyczna
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 102253 (nr inw. 102253) (1 egz.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
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