|
1.
|
Logika a czas i zmiana / Józef Wajszczyk.
by Wajszczyk, Józef, (1944-2006). Material type: Book; Format:
print
Publisher: Olsztyn : Wydaw. WSP, 1995Dissertation note: Rozprawa habilitacyjna. Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 247992] (2).
|
|
2.
|
Logiki w logice : o rekonstruowalności nieklasycznych rachunków zdaniowych w logice temporalnej / Józef Wajszczyk.
by Wajszczyk, Józef, (1944-2006). Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Olsztyn : Wydaw. Uniwersytetu Warmińsko-Mazurskiego, 2001Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 244964] (1).
|
|
3.
|
Przeszłość, teraźniejszość, przyszłość : studium filozoficzne / Zdzisław Augustynek.
by Augustynek, Zdzisław, (1925-2001) [Autor] | Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Warszawa : Państwowe Wydawnictwo Naukowe, 1979Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 187663] (1).
|
|
4.
|
Logika temporalna : wybrane zagadnienia / Kazimierz Trzęsicki.
by Trzęsicki, Kazimierz | Uniwersytet (Białystok). Wydawnictwo [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Białystok : Wydawnictwo Uniwersytetu, 2008Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 269714] (1).
|
|
5.
|
Jutrzejsza bitwa morska : rozumowanie Diodora Kronosa / Tomasz Jarmużek.
by Jarmużek, Tomasz | Uniwersytet Mikołaja Kopernika (Toruń). Wydawnictwo Naukowe [Wydawca]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2013Availability: Items available for loan: Biblioteka UKSW - Dewajtis [Call number: 335941] (1).
|
|
6.
|
Querying temporal database with the language of first-order temporal logic / Mariusz Giero.
by Giero, Mariusz. Source: Studies in Logic, Grammar and RhetoricSource: Logic as a tool : essays in discourse and information sciencesMaterial type: Article; Format:
print
; Literary form:
Not fiction
Availability: No items available
|
|
7.
|
A few remarks on querying lists, trees and dags a temporal-logic approach / Dariusz Surowik.
by Surowik, Dariusz. Source: Studies in Logic, Grammar and RhetoricSource: Logic as a tool : essays in discourse and information sciencesMaterial type: Article; Format:
print
; Literary form:
Not fiction
Availability: No items available
|
|
8.
|
Some remarks about intuitionistic tense logic / Dariusz Surowik.
by Surowik, Dariusz. Source: On Leibniz's philosophical legacy in the 350th anniversary of his birthSource: Studies in Logic, Grammar and RhetoricMaterial type: Article; Format:
print
; Literary form:
Not fiction
Availability: No items available
|
|
9.
|
Omniscience, omnipotence and related notions / Kazimierz Trzęsicki.
by Trzęsicki, Kazimierz. Source: On Leibniz's philosophical legacy in the 350th anniversary of his birthSource: Studies in Logic, Grammar and RhetoricMaterial type: Article; Format:
print
; Literary form:
Not fiction
Availability: No items available
|
|
10.
|
Tense logic and Aristotelian argument about determinism / Dariusz Surowik.
by Surowik, Dariusz. Source: Studies in Logic, Grammar and RhetoricSource: Logic, language, methodologyMaterial type: Article; Format:
print
; Literary form:
Not fiction
Availability: No items available
|
|
11.
|
Temporal logic approach to extensive games / Dariusz Surowik.
by Surowik, Dariusz. Source: Studies in Logic, Grammar and RhetoricSource: Logic of social researchMaterial type: Article; Format:
print
; Literary form:
Not fiction
Availability: No items available
|