|
1.
|
Topics in logic, philosophy and foundations of mathematics, and computer science : in recognition of professor Andrzej Grzegorczyk / ed. by S. Krajewski [et al.].
by Krajewski, Stanisław, (1950- ) [Red.]. Material type: Book; Format:
print
; Nature of contents: ; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Amsterdam [etc.] : IOS Press, cop. 2007Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 132998] (1).
|
|
2.
|
Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski.
by Borkowski, Ludwik, (1914-1993) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1970Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.10046] (5).
|
|
3.
|
Logiczne podstawy rozumowań II / pod red. Ludwika Kostro i Jana Przybyłowskiego.
by Kostro, Ludwik, (1934- ) [Red.] | Przybyłowski, Jan, (1939- ) [Red.] | Uniwersytet Gdański. Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Gdańsk : Wydawnictwo Uniwersytetu Gdańskiego, 1997Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 220566] (1).
|
|
4.
|
The strange logic of random graphs / Joel Spencer.
by Spencer, Joel H, (1946- ). Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Berlin [etc.] : Springer, 2001Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 235177] (1).
|
|
5.
|
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski.
by Murawski, Roman, (1949- ) | Uniwersytet im. Adama Mickiewicza (Poznań). Wydawnictwo Naukowe [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Poznań : Wydawnictwo Naukowe UAM, 1990Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 85776] (2).
|
|
6.
|
Język i poznanie. [2], Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz.
by Ajdukiewicz, Kazimierz, (1890-1963) | Wydawnictwo Naukowe PWN [Wydawca]. Edition: Wyd. 3.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Wydawnictwo Naukowe PWN, 2006Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 251345] (1).
|
|
7.
|
Język i poznanie. [1], Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz.
by Ajdukiewicz, Kazimierz, (1890-1963) | Wydawnictwo Naukowe PWN [Wydawca]. Edition: Wyd. 3.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Wydawnictwo Naukowe PWN, 2006Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 251346] (1).
|
|
8.
|
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod red. Witolda Marciszewskiego.
by Marciszewski, Witold, (1930- ) [Red.] | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1987Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.07907] (2). Items available for reference: Biblioteka UKSW - Dewajtis [Call number: CZH.II.FIL.76.] (1).
|
|
9.
|
Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył Bogusław Wolniewicz.
by Wittgenstein, Ludwig, (1889-1951) | Wolniewicz, Bogusław, (1927-2017) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1970Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 169712] (2).
|
|
10.
|
Set theory and its logic / Willard Van Orman Quine.
by Quine, W. V, (1908-2000) | Belknap Press [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Cambridge : Belknap Press of Harvard Univ. Press, 1963Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 51761] (2).
|
|
11.
|
Rachunek sensu jednej i dwu zmiennych / Jan Długosz ; [oprac. Stanisław Ziemiański].
by Długosz, Jan, (1901-1981) | Ziemiański, Stanisław, (1931- ) [Oprac.] | Wydawnictwo WAM (Kraków) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Kraków : Wyższa Szkoła Filozoficzno-Pedagogiczna IGNATIANUM : Wydawnictwo WAM, 2008Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 127206] (1).
|
|
12.
|
Język i poznanie. T. 1, Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz.
by Ajdukiewicz, Kazimierz, (1890-1963) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1960Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.07905] (1). Items available on the spot only: Biblioteka UKSW - Dewajtis [Call number: 21232] (2). Items available for reference: Biblioteka UKSW - Wóycickiego [Call number: FB.VI.FIL.34.1.] (1).
|
|
13.
|
Język i poznanie. T. 2, Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz.
by Ajdukiewicz, Kazimierz, (1890-1963). Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Państwowe Wydaw. Naukowe, 1965Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.01763] (1). Items available on the spot only: Biblioteka UKSW - Dewajtis [Call number: 21232] (1). Items available for reference: Biblioteka UKSW - Wóycickiego [Call number: FB.VI.FIL.34.2.] (1).
|
|
14.
|
Elementy logiki matematycznej / Aleksander Rutkowski.
by Rutkowski, Aleksander [Autor] | Wydawnictwa Szkolne i Pedagogiczne [Wydawca]. Edition: Wydanie I.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Warszawa : Wydawnictwa Szkolne i Pedagogiczne, 1978Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 288752] (1).
|
|
15.
|
A logic-driven analysis of the decision making process / Tomasz Terlikowski.
by Terlikowski, Tomasz (informatyka) | Uniwersytet Kardynała Stefana Wyszyńskiego (Warszawa). Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego, 2012Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 318000] (3).
|
|
16.
|
Issues of decidability and tractability / guest ed.: Witold Marciszewski ; University of Białystok.
by Marciszewski, Witold, (1930- ) [Red.] | Uniwersytet (Białystok). Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Białystok : Wydawnictwo Uniwersytetu w Białymstoku, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 328339] (1).
|
|
17.
|
Osobliwość logiki intuicjonistycznej / Bożena Czernecka-Rej ; Katolicki Uniwersytet Lubelski Jana Pawła II. Wydział Filozofii. Katedra Logiki.
by Czernecka-Rej, Bożena Krystyna | Katolicki Uniwersytet Lubelski Jana Pawła II. Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Lublin : Wydawnictwo KUL, 2014Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 335158] (1).
|
|
18.
|
Od logiki i liczb naturalnych do liczb zespolonych i wielomianów / Michał Lorens, Piotr Pusz.
by Lorens, Michał | Pusz, Piotr | Uniwersytet Rzeszowski. Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego, 2015Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 345059] (1).
|
|
19.
|
Język i poznanie. T. 1, Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz.
by Ajdukiewicz, Kazimierz, (1890-1963) | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Edition: Wyd. 2.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Warszawa : Państwowe Wydaw. Naukowe, 1985Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.06387] (1).
|
|
20.
|
Logika matematyczna / Willard Van Orman Quine ; przełożył Leon Koj.
by Quine, W. V, (1908-2000) [Autor] | Koj, Leon, (1929-2006) [Tłumacz] | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Edition: Wydanie pierwsze.Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1974Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: NH.07958] (2).
|