|
|
1.
|
Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski.
autorstwa: Borkowski, Ludwik, (1914-1993) | Państwowe Wydawnictwo Naukowe (1951-1992) [pbl]. Rodzaj materiału:  Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki Wydawca: Warszawa : Państwowe Wydawnictwo Naukowe, 1970Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 26594] (1).
|
|
|
2.
|
Logika dla inżynierów / A. W. Mostowski i Z. Pawlak.
autorstwa: Mostowski, Andrzej Włodzimierz | Pawlak, Zdzisław, (1926-2006) | Państwowe Wydawnictwo Naukowe (1951-1992) [pbl]. Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki ; Przeznaczenie czytelnicze:
Odbiorca wyspecjalizowany; Wydawca: Warszawa : Państwowe Wydawnictwo Naukowe, 1970Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 25424] (1).
|
|
|
3.
|
Logika matematyczna : kurs uniwersytecki / Andrzej Mostowski.
autorstwa: Mostowski, Andrzej, (1913-1975). Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki ; Przeznaczenie czytelnicze:
Odbiorca wyspecjalizowany; Wydawca: Warszawa ; Wrocław : [s.n.], 1948Dostęp online: Kliknij tutaj, aby uzyskać dostęp online | Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 2971] (1).
|
|
|
4.
|
Elementy logiki, teorii mnogości i algebry / Jan Krempa, Barbara Mażbic-Kulma.
autorstwa: Krempa, Jan | Mażbic-Kulma, Barbara. Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki ; Przeznaczenie czytelnicze:
Odbiorca wyspecjalizowany; Wydawca: Warszawa : Wydawnictwa Naukowo-Techniczne, 1977Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 32194] (1).
|
|
|
5.
|
Logika matematyczna / Willard Van Orman Quine ; przeł. Leon Koj.
autorstwa: Quine, W. V, (1908-2000) | Koj, Leon, (1929-2006) | Państwowe Wydawnictwo Naukowe (1951-1992) [pbl]. Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki ; Przeznaczenie czytelnicze:
Odbiorca wyspecjalizowany; Wydawca: Warszawa : Państwowe Wydawnictwo Naukowe, 1974Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 29184] (1).
|
|
|
6.
|
Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski.
autorstwa: Słupecki, Jerzy, (1904-1987) | Borkowski, Ludwik, (1914-1993) | Państwowe Wydawnictwo Naukowe (1951-1992) [pbl]. Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki ; Przeznaczenie czytelnicze:
Odbiorca wyspecjalizowany; Wydawca: Warszawa : Państwowe Wydaw. Naukowe, 1963Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 16338] (1).
|
|
|
7.
|
Relational methods for computer science applications / Ewa Orłowska, Andrzej Szałas, eds.
autorstwa: Orłowska, Ewa, (1935- ) [Red.] | Szałas, Andrzej, (1956- ) [Red.]. Rodzaj materiału: Książka; Format:
druk Wydawca: Heidelberg ; New York : Physica-Verlag, 2001Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 39740] (1).
|
|
|
8.
|
Simply logical : intelligent reasoning by example / Peter Flach.
autorstwa: Flach, Peter A. Rodzaj materiału: Książka; Format:
druk Wydawca: Chichester : John Wiley & Sons, 1994Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 37897] (1).
|
|
|
9.
|
Zarys logiki matematycznej / Andrzej Grzegorczyk.
autorstwa: Grzegorczyk, Andrzej, (1922-2014) | Państwowe Wydawnictwo Naukowe (1951-1992) [pbl]. Wydanie: Wyd. 4.Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki Wydawca: Warszawa : Państwowe Wydawnictwo Naukowe, 1975Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 40330] (1).
|
