|
1.
|
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.
by Słupecki, Jerzy, (1904-1987) | Hałkowska, Katarzyna, (1940- ) | Piróg-Rzepecka, Krystyna | Wydawnictwo Naukowe PWN [Wydawca]. Edition: Wyd. 2 popr.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Wydawnictwa Naukowe PWN, 1994Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 88443] (1).
|
|
2.
|
Podstawy logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
by Batóg, Tadeusz, (1934- ) | Uniwersytet im. Adama Mickiewicza (Poznań). Wydawnictwo Naukowe [Wydawca]. Edition: Wyd. 2, popr. i uzup.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Poznań : Wydaw. Naukowe UAM, 1994Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 89258] (1).
|
|
3.
|
Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń.
by Porębska, Małgorzata | Suchoń, Wojciech | Towarzystwo Autorów i Wydawców Prac Naukowych "Universitas" [Wydawca]. Material type: Book; Format:
print
Publisher: Kraków : Universitas, 1996Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 205543] (1).
|
|
4.
|
Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń.
by Porębska, Małgorzata | Suchoń, Wojciech | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Material type: Set Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1991Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 211879] (2).
|
|
5.
|
Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka.
by Słupecki, Jerzy, (1904-1987) | Hałkowska, Katarzyna, (1940- ) | Piróg-Rzepecka, Krystyna | Wydawnictwo Naukowe PWN [Wydawca]. Edition: Wyd. 2 popr. i uzup.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Wydawnictwo Naukowe PWN, 1999Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 215300] (2).
|
|
6.
|
Elementy logiki, teorii mnogości i algebry / Jan Krempa, Barbara Mażbic-Kulma.
by Krempa, Jan, (1940- ) [Autor] | Mażbic-Kulma, Barbara [Autor] | Wydawnictwa Naukowo-Techniczne [Wydawca]. Edition: Wydanie I.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Wydawnictwa Naukowo-Techniczne, 1977Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 239965] (1).
|
|
7.
|
Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska.
by Ben-Ari, Mordechai, (1948- ) | Miłkowska, Mirosława [Tł.] | Wydawnictwa Naukowo-Techniczne [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Wydawnictwa Naukowo-Techniczne, 2005Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 244414] (1).
|
|
8.
|
Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Przemysława Kanarek, Krzysztof Loryś.
by Papadimitriou, Christos H, (1949- ) | Kanarek, Przemysława, (1965-2017) [Tł.] | Loryś, Krzysztof, (1958- ) [Tł.] | Wydawnictwa Naukowo-Techniczne [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Wydawnictwa Naukowo-Techniczne, 2002Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 342647] (1). Items available for reference: Biblioteka UKSW - Wóycickiego [Call number: FB.III.INF.8.] (1).
|
|
9.
|
Logika matematyczna : kurs uniwersytecki / Andrzej Mostowski.
by Mostowski, Andrzej, (1913-1975). Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa ; Wrocław : [s.n.], 1948Online access: Click here to access online | Licencja krajowa Availability: Items available on the spot only: Biblioteka UKSW - Dewajtis [Call number: NH.07966] (4).
|
|
10.
|
Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński.
by Kotarbiński, Tadeusz, (1886-1981) | Zakład Narodowy im. Ossolińskich. Wydawnictwo [Wydawca]. Edition: Wyd. 2, przejrz.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Wrocław : Zakład Narodowy im. Ossolińskich - Wydawnictwo, 1961Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.07909] (3), Biblioteka UKSW - Wóycickiego [Call number: FB.04314] (1).
|
|
11.
|
Logika matematyczna / Marian Panczakiewicz ; Uniwersytet Śląski w Katowicach.
by Panczakiewicz, Marian | Uniwersytet Śląski (Katowice) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Katowice : Uniwersytet Śląski, 1970Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 41837] (2).
|
|
12.
|
Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński ; [red. odpowiedzialny t. Jan Woleński ; red. nauk. Danuta Miller] ; Polska Akademia Nauk. Komitet Nauk Filozoficznych.
by Kotarbiński, Tadeusz, (1886-1981) | Woleński, Jan, (1940- ) [Red.] | Miller, Danuta, (1929-2006) [Red.] | Gasparski, Wojciech, (1936-2022) [Red.] | Zakład Narodowy im. Ossolińskich. Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich. Wydawnictwo Polskiej Akademii Nauk, 1990Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.06469] (2).
|
|
13.
|
Zarys logiki matematycznej / Andrzej Grzegorczyk.
by Grzegorczyk, Andrzej, (1922-2014) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Edition: Wyd. 6.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Państwowe Wydaw. Naukowe, 1984Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 288345] (1).
|
|
14.
|
Wstęp do logiki i teorii mnogości / Urszula Dudziak, Józef Drewniak.
by Dudziak, Urszula (matematyka) | Drewniak, Józef | Uniwersytet Rzeszowski. Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego, 2012Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 321095] (1).
|
|
15.
|
Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska.
by Ben-Ari, Mordechai, (1948- ) | Miłkowska, Mirosława [Tł.] | Wydawnictwa Naukowo-Techniczne [Wydawca]. Edition: Wyd. 2.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Wydawnictwa Naukowo-Techniczne, 2006Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 342848] (1).
|
|
16.
|
Zarys logiki matematycznej / Andrzej Grzegorczyk.
by Grzegorczyk, Andrzej, (1922-2014) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1961Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 50312] (2).
|
|
17.
|
Zarys logiki matematycznej / Andrzej Grzegorczyk.
by Grzegorczyk, Andrzej, (1922-2014) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Edition: Wyd. 2 zm. i uzup.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1969Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.07967] (2).
|
|
18.
|
Sets, logic, and axiomatic theories / by Robert R. Stoll ; drawings by Evan Gillespie.
by Stoll, Robert Roth | W. H. Freeman and Company [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: San Francisco ; London : W. H. Freeman, cop. 1961Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 34140] (1).
|
|
19.
|
Wprowadzenie do logiki i teorii mnogości / Ludwik Borkowski.
by Borkowski, Ludwik, (1914-1993) | Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Lublin : Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego, 1991Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 85251] (4).
|
|
20.
|
Zarys logiki matematycznej / Andrzej Grzegorczyk.
by Grzegorczyk, Andrzej, (1922-2014) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Edition: Wyd. 5.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1981Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 75532] (1).
|