Logika matematyczna
Ukryj filtry
Sortowanie
Źródło opisu
Książki, czasopisma i zbiory specjalne
(127)
Forma i typ
Książki
(126)
Publikacje dydaktyczne
(3)
Publikacje naukowe
(2)
Czasopisma
(1)
Publikacje fachowe
(1)
Dostępność
dostępne
(103)
tylko na miejscu
(14)
nieokreślona
(12)
wypożyczone
(2)
Placówka
Wypożyczalnia
(116)
Biblioteka Międzywydziałowa
(12)
Biblioteka WEiZ
(1)
Magazyn
(2)
Autor
Grzegorczyk Andrzej (1922-2014)
(7)
Hałkowska Katarzyna
(5)
Pogorzelski Witold A
(5)
Słupecki Jerzy (1904-1987)
(5)
Grzymkowski Radosław
(4)
Pokaż więcej ...
Marek Wiktor
(4)
Piróg-Rzepecka Krystyna
(4)
Rasiowa Helena (1917-1994)
(4)
Stanosz Barbara
(4)
Słupecki Jerzy
(4)
Onyszkiewicz Janusz (1937- )
(3)
Piróg-Rzepecka Krystyna (1929- )
(3)
Smirnov V. A
(3)
Biela Andrzej
(2)
Borkowski Ludwik
(2)
Kruszyński Henryk
(2)
Lewandowski Marceli
(2)
Piekarczyk Stanisław
(2)
Przybyłowicz Marcin
(2)
Przymusińska-Rowicka Jadwiga
(2)
Sikorski Roman (1920-1983)
(2)
Stankiewicz Włodzimierz
(2)
Adamski Marian
(1)
Akimov A. P
(1)
Asser G. von
(1)
Augustynek Zdzisław
(1)
Aumiaux Michel
(1)
Barwise Jon
(1)
Basch Michal
(1)
Batóg Tadeusz
(1)
Bektaev Kaldybaj R
(1)
Ben-Ari Mordechai (1948- )
(1)
Bereśniewicz-Rajca Olga (1929- )
(1)
Berkeley Edmund C
(1)
Beth Evert Willem (1908-1964)
(1)
Bezhanishvili Guram
(1)
Bird Otto A. (1914-2009)
(1)
Bizám György
(1)
Bocheński Józef Maria. (1902-1995)
(1)
Bolc Leonard (1934- )
(1)
Borkowski Ludwik (1914-1993)
(1)
Brodskij I. N
(1)
Bromirski Jerzy (1915-1989)
(1)
Bryll Grzegorz (1935- )
(1)
Buszkowski Wojciech
(1)
Church A
(1)
Church Alonzo (1903-1995)
(1)
Curry Haskell Brooks (1900-1982)
(1)
Danilov Ju. A
(1)
Dončenko V. V
(1)
Font Josep Maria
(1)
Fudali Stanisław (1929-2015)
(1)
Gallin Daniel
(1)
Gastev Ûrij Alekseevič (1928-)
(1)
Gerasimova I. A
(1)
Gerster Hans-Dieter
(1)
Ginsberg Matthew L. (1955- )
(1)
Gluskin L. M
(1)
Goodstein Reuben L
(1)
Gołąb Stanisław (1902-1980)
(1)
Gradštejn Izrail' Solomonovič (1899-1958)
(1)
Grochulski Jerzy
(1)
Hajnicz Elżbieta
(1)
Harrison Michael A
(1)
Hensz Ewa
(1)
Herczeg János
(1)
Idel'son Aleksandr Vladimirovič (1925- )
(1)
Idziak Paweł M
(1)
Jaczewski Jerzy (1918-2000)
(1)
Jaśkowski Stanisław (1906-1965)
(1)
Kasperska Elżbieta
(1)
Kasperski Andrzej
(1)
Katětov Miroslav (1918-1995)
(1)
Kaźmierkowski Marian Piotr (1943- )
(1)
Kisielewicz Andrzej
(1)
Koj Leon (1929-2006)
(1)
Kordel Zdzisław (1950- )
(1)
Krygowska Zofia (1904-1988)
(1)
Krysicki Włodzimierz (1905-2001)
(1)
Kubiński Tadeusz (1923-1991)
(1)
Kuriata Andrzej
(1)
Kursaev Anatolij G
(1)
Kutatelabze S. S
(1)
Lewis Clarence Irving (1883-1964)
(1)
Leśniak Jan (1901-1980)
(1)
Lyndon Roger C. (1917- )
(1)
Maduch Marian
(1)
Marciszewski Witold
(1)
Matałycki Michał
(1)
Matłoka Marian
(1)
Mieczyński Mieczysław
(1)
Mihajlov Aleksandr Ivanovič
(1)
Minc G. E. (1939- )
(1)
Minc Grigorij Efrojmovič. (1939-2014)
(1)
Miłkowska Mirosława
(1)
Moisil Gr. C
(1)
Moisil Gr. C. (1906-1973)
(1)
Mostowski Andrzej (1913-1975)
(1)
Mostowski Andrzej Włodzimierz
(1)
Novikov Petr S
(1)
Pokaż mniej ...
Rok wydania
3190 - 3196
(1)
2020 - 2024
(2)
2010 - 2019
(6)
2000 - 2009
(12)
1990 - 1999
(12)
Pokaż więcej ...
1980 - 1989
(15)
1970 - 1979
(48)
1960 - 1969
(22)
1950 - 1959
(7)
1940 - 1949
(2)
Pokaż mniej ...
Okres powstania dzieła
2001-
(3)
Kraj wydania
Polska
(108)
Rosja
(8)
Stany Zjednoczone
(5)
Holandia
(2)
Australia
(1)
Pokaż więcej ...
Salwador
(1)
Włochy
(1)
Nowa Kaledonia
(1)
Czechy
(1)
Pokaż mniej ...
Język
polski
(103)
angielski
(13)
rosyjski
(11)
Odbiorca
Szkoły wyższe
(3)
Temat
Budownictwo
(2431)
Zarządzanie
(2037)
Matematyka
(1940)
Elektrotechnika
(1897)
Przedsiębiorstwa
(1790)
Logika matematyczna
(-)
Pokaż więcej ...
Fizyka
(1537)
Informatyka
(1502)
Maszyny
(1231)
Fizjoterapia
(1177)
Wytrzymałość materiałów
(1162)
Ochrona środowiska
(1026)
Sport
(1015)
Turystyka
(953)
Elektronika
(950)
Mechanika
(936)
Ekonomia
(932)
Automatyka
(918)
Język angielski
(875)
Samochody
(867)
Rachunkowość
(825)
Chemia
(811)
Polska
(792)
Rehabilitacja
(788)
Gospodarka
(780)
Komunikacja marketingowa
(761)
Technika
(747)
Konstrukcje budowlane
(730)
Przemysł
(728)
Wychowanie fizyczne
(725)
Prawo pracy
(713)
Piłka nożna
(711)
Unia Europejska
(699)
Transport
(673)
Elektroenergetyka
(669)
Marketing
(641)
Architektura
(639)
Innowacje
(621)
Naprężenia i odkształcenia
(617)
OZE
(606)
Energetyka
(591)
Programowanie (informatyka)
(591)
Programy komputerowe
(586)
Trening
(586)
Technologia chemiczna
(567)
Rolnictwo
(557)
Biomasa
(543)
Analiza numeryczna
(533)
Prawo
(524)
Odnawialne źródła energii
(523)
Sterowanie
(522)
Materiałoznawstwo
(520)
Komputery
(519)
Produkcja
(518)
Symulacja
(516)
Inwestycje
(509)
Praca
(506)
Analiza matematyczna
(498)
Zarządzanie jakością
(497)
Zarządzanie zasobami ludzkimi (HRM)
(497)
Dzieci
(496)
Energia elektryczna
(492)
Urbanistyka
(490)
Materiały budowlane
(488)
Przedsiębiorstwo
(482)
Logistyka gospodarcza
(480)
Rynek pracy
(475)
Szkolnictwo wyższe
(473)
Maszyny elektryczne
(472)
Finanse
(469)
Psychologia
(467)
Modele matematyczne
(466)
Internet
(464)
Metale
(462)
Nauka
(462)
Marketing internetowy
(453)
Statystyka matematyczna
(448)
Systemy informatyczne
(448)
Rehabilitacja medyczna
(434)
Skrawanie
(434)
Języki programowania
(433)
Reklama
(432)
Działalność gospodarcza
(431)
Mechanika budowli
(427)
Organizacja
(417)
Telekomunikacja
(413)
Metrologia
(412)
Pedagogika
(410)
Drgania
(409)
Trener
(406)
Ubezpieczenia społeczne
(394)
Controlling
(393)
Historia
(392)
Optymalizacja
(392)
Filozofia
(390)
Rachunkowość zarządcza
(389)
Statystyka
(386)
Budownictwo mieszkaniowe
(385)
Podatki
(385)
Socjologia
(384)
Banki
(381)
Pokaż mniej ...
Temat: czas
1901-2000
(5)
Temat: miejsce
Polska
(1)
Gatunek
Podręczniki akademickie
(11)
Podręcznik
(8)
Ćwiczenia i zadania dla szkół wyższych
(6)
Materiały konferencyjne
(3)
Opracowanie
(1)
Pokaż więcej ...
Podręczniki
(1)
Układy elektroniczne
(1)
Pokaż mniej ...
Dziedzina i ujęcie
Matematyka
(3)
Gospodarka, ekonomia, finanse
(1)
Transport i logistyka
(1)
Zarządzanie i marketing
(1)
127 wyników Filtruj
Brak okładki
Książka
W koszyku
Modal'nye i intensional'nye logiki i ich primenenie k problemam metodologii nauki / red. V. A. Smirnov [i in.] ; aut. G. Vrigt [i in.] ; Akademija Nauk SSSR. - Moskva : Nauka - Izd., 1984. - 367 s. : rys. ; 21 cm.
Autor
Smirnov V. A. Vrigt G.
Temat
Logika Logika matematyczna. Metodologia
Bibliogr. przy ref.
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. Z 4250 (1 egz.)
Brak okładki
Książka
W koszyku
How to Read and do Proofs : an Introduction to Mathematical Thought Process / Daniel Solow. - New York [i in.] : John Wiley & Sons, 1982. - XIV, [2], 172 s. : rys., schem., tab. ; 22 cm.
Autor
Solow Daniel.
Temat
Matematyka Logika matematyczna. FUNKCJE DYSKRETNE
Sum.
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. Z 7967 (1 egz.)
Brak okładki
Książka
W koszyku
Modal'nye i vremennye logiki : (materialy II Sovetsko-finskogo kollokviuma po logike, Moskva, dekabr' 3-7, 1979 g.) / red. V. A. Smirnov, I. A. Gerasimova ; aut. I. N. Brodskij [i in.] ; Akademija Nauk SSSR. - Moskva : Akademija Nauk SSSR, 1979. - 114 s. : tab. ; 21 cm.
Autor
Sovetsko-Finskij Kollokvium po Logike (2 ; 1979 ; Moskva). Smirnov V. A. Gerasimova I. A. Brodskij I. N.
Temat
Logika Logika matematyczna.
Bibliogr. przy ref.
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. 36303 L (1 egz.)
Brak okładki
Książka
W koszyku
Zadania z matematyki dla wyższych uczelni technicznych. Cz.A / Włodzimierz Stankiewicz. - Wyd.10. - Warszawa : Państ. Wydaw. Naukowe, 1999. - 274, [4] s. : rys., wykr. ; 24 cm.
Autor
Stankiewicz Włodzimierz.
Temat
Matematyka ZBIORY LICZBOWE Logika matematyczna. Algebra Geometria Rachunek różniczkowy Rachunek całkowy Geometria różniczkowa Szeregi liczbowe Szeregi funkcyjne
Sygnatura czytelni BMW: IV F 35(A)
dostępna w czytelni
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Biblioteka Międzywydziałowa
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 101735 N (1 egz.)
Brak okładki
Książka
W koszyku
Zadania z matematyki dla wyższych uczelni technicznych. Cz.A / Włodzimierz Stankiewicz. - Wyd.11. - Warszawa : Państ. Wydaw. Naukowe, 2001. - 274, [4] s. : rys., wykr. ; 24 cm.
Autor
Stankiewicz Włodzimierz.
Temat
Matematyka ZBIORY LICZBOWE Logika matematyczna. Algebra Geometria Rachunek różniczkowy Rachunek całkowy Geometria różniczkowa Szeregi liczbowe Szeregi funkcyjne
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. 114095 (1 egz.)
Brak okładki
Książka
W koszyku
Ćwiczenia z logiki / Barbara Stanosz. - Warszawa : Państ. Wydaw. Naukowe, 1971. - 148, [1] s. : rys., err. ; 21 cm.
Autor
Stanosz Barbara.
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. 37442, 37443 (2 egz.)
Brak okładki
Książka
W koszyku
Ćwiczenia z logiki / Barbara Stanosz. - Wyd.4. - Warszawa : Państ. Wydaw. Naukowe, 1978. - 175, [1] s. ; 20 cm.
Autor
Stanosz Barbara.
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. 54935 (1 egz.)
Brak okładki
Książka
W koszyku
Ćwiczenia z logiki / Barbara Stanosz. - Wyd.3. - Warszawa : Państ. Wydaw. Naukowe, 1975. - 148, [1] s. : rys., tab., err. ; 21 cm.
Autor
Stanosz Barbara.
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. 46064 (1 egz.)
Brak okładki
Książka
W koszyku
Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz. - Wyd.3. - Warszawa : Wydaw. Naukowe PWN, 1999. - 110, [1] s. : rys. ; 24 cm.
Autor
Stanosz Barbara.
Temat
Logika matematyczna.
Sygnatura czytelni BMW: IV C 28
dostępna w czytelni
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Biblioteka Międzywydziałowa
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. M 6272 N (1 egz.)
Brak okładki
Książka
W koszyku
Formirovanie matematičeskoj logiki / N. I. Stâžkin ; Akad. nauk SSSR. - Moskva : "Nauka", 1967. - 507, [1] s. : il. ; 23 cm.
Autor
Stâžkin Nikolaj Ivanovič
Forma i typ
Książki
Temat
Logika matematyczna
dostępna w czytelni
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Magazyn
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 9086 (1 egz.)
Brak okładki
Książka
W koszyku
Introduction to logic / Patrick Suppes. - 15. [print.] - New York [u.a.] : van Nostrand, 1957. - XVIII, 312 s. ; 24 cm.
Autor
Suppes Patrick (1922-2014).
Temat
Logika matematyczna.
brak informacji o dostępności
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
w opracowaniu: sygn. 36270 (1 egz.)
Książka
W koszyku
Relacje i działania / Tadeusz Trajdos-Wróbel. - Warszawa : Wydawnictwa Politechniki Warszawskiej, 1969. - 39 s. : il. ; 24 cm.
(Skrypty WPW)
Autor
Trajdos Tadeusz (1922-2002).
Temat
Logika matematyczna. Teoria grup
Gatunek
Podręcznik.
Indeks.
Dla studentów pierwszego semestru Wydziału Geodezji i Kartografii Politechniki Warszawskiej.
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. 27508, 27507 (2 egz.)
Brak okładki
Książka
W koszyku
Logika i teoria mnogości : ujęcie systematyczno-historyczne / Kazimierz Trzęsicki. - Warszawa : Akademicka Oficyna Wydawnicza Exit, 2003. - 471 s. ; 24 cm.
(Problemy Współczesnej Nauki. Teoria i Zastosowania. Informatyka)
Autor
Trzęsicki Kazimierz.
Temat
Logika matematyczna. Teoria mnogości
Bibliogr. s. [429]-451. Indeks.
Sygnatura czytelni BMW: IV C 7
dostępna w czytelni
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Biblioteka Międzywydziałowa
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 108150 N (1 egz.)
Brak okładki
Książka
W koszyku
Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej. - Kraków : [s.n.], 1974. - 207 s. : il. ; 25 cm.
Autor
Turnau Stefan (1931- )
Forma i typ
Książki
Temat
Logika matematyczna
Bibliogr.
brak informacji o dostępności
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
w opracowaniu: sygn. 36244 (1 egz.)
Brak okładki
Książka
W koszyku
Kurs przygotowawczy z matematyki na wyższe uczelnie : algebra, analiza, rachunek prawdopodobieństwa / Lech Włodarski, Ewa Hensz. - Wyd.2. - Warszawa : Państ. Wydaw. Naukowe, 1981. - 268 s. : tab., wykr. ; 24 cm.
Autor
Włodarski Lech (1916-1997). Hensz Ewa.
Temat
Matematyka Logika matematyczna. TEORIA ZBIORÓW Analiza matematyczna Kombinatoryka Rachunek prawdopodobieństwa
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. 63257 (1 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki i teorii mnogości / Agnieszka Wojciechowska. - Warszawa : Państwowe Wydawnictwo Naukowe, 1979. - 200 s. : il. ; 21 cm.
Autor
Wojciechowska Agnieszka.
Temat
Logika matematyczna.
Gatunek
Podręczniki akademickie
Indeksy.
Dla I roku studiów nauczycielskich na kierunku matematycznym.
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. S 52342 L (1 egz.)
Brak okładki
Książka
W koszyku
Teorie języków syntaktycznie kategorialnych / Urszula Wybraniec-Skardowska. - Warszawa : Państ. Wydaw. Naukowe, 1985. - 152, [2] s. : rys. ; 24 cm.
(Prace Opolskiego Towarzystwa Przyjaciół Nauk. Wydział IV Nauk Technicznych i Ścisłych)
Autor
Wybraniec-Skardowska Urszula.
Temat
Logika matematyczna. Języki programowania Językoznawstwo matematyczne
Bibliogr.s. [150] - 152
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. 70814, 74015 (2 egz.)
Brak okładki
Książka
W koszyku
Logic Colloquium [2014 and at] Logic, Algebra and Truth Degrees [2014] : Vienna Summer of Logic, July 9-24, 2014 : abstract booklet / org. by the Kurt Gödel Society. - Vienna : Kurt Gödel Society, 2014. - 279 s. : il. ; 30 cm.
Temat
Logika matematyczna. Informatyka Inteligencja sztuczna
Gatunek
Materiały konferencyjne
Preface: This booklet contains the abstracts of the talks given at the ASL Logic Colloquium 2014 and at Logic, Algebra and Truth Degrees (LATD) 2014. These two conferences are both held as part of the Vienna Summer of Logic (VSL), the largest scientific event in the history of logic.
Opis wg okł. Okł. wliczona w pag.
Bibliogr. przy niektórych streszcz.
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. Z 8543 L (1 egz.)
Brak okładki
Książka
W koszyku
TACL : Topology, algebra and categories in logic 2009, Amsterdam, July 7-11, 2009 : abstracts of contributed talks. - Amsterdam : [s.n.], 2009. - 126 s. pag. varia : il. : 30 cm.
Temat
Matematyka Logika matematyczna.
Gatunek
Materiały konferencyjne
Oprac. na podst. okł.
Nr impr. ze s. internet. org.
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. Z 8229 (1 egz.)
Brak okładki
Książka
W koszyku
Topology, algebra, and categories in logic 2015 : [7th Conference], Ischia (Italy), 21-26 June 2015 : booklet of abstracts. - [S.l.] : [s.n.] ; 2015. - XII, 284 s. ; 21 cm.
Temat
Matematyka Logika matematyczna.
Gatunek
Materiały konferencyjne
Oprac. na podst. okł.
Nr imprezy z przedm.
Bibliogr. przy niektórych streszcz. Indeks.
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. Z 8663 (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

Deklaracja dostępności